Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userNon-locally modular regular types in classifiable theories
144
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We introduce the notion of strong $p$-semi-regularity and show that if $p$ is a regular type which is not locally modular then any $p$-semi-regular type is strongly $p$-semi-regular. Moreover, for any such $p$-semi-regular type, domination implies isolation which allows us to prove the following: Suppose that $T$ is countable, classifiable and $M$ is any model. If $pin S(M)$ is regular but not locally modular and $b$ is any realization of $p$ then every model $N$ containing $M$ that is dominated by $b$ over $M$ is both constructible and minimal over $Mb$.
rate research
Read More
We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent (NIP) theories.
We prove existence of wide types in a continuous theory expanding a Banach space, and density of minimal wide types among stable types in such a theory. We show that every minimal wide stable type is generically isometric to an l_2 space. We conclude with a proof of the following formulation of Hensons Conjecture: every model of an uncountably categorical theory expanding a Banach space is prime over a spreading model, isometric to the standard basis of a Hilbert space.
We study world-volume effective theories of five-branes in type II string theories. We determine the bosonic zero-modes of the NS5-brane, the Kaluza-Klein monopole, the exotic Q5-, R5-branes and a space-filling brane, by direct calculations within the formalism of double field theory (DFT). We show that these zero-modes are Nambu-Goldstone modes associated with the spontaneously broken gauge symmetries in DFT. They are organized into the bosonic part of the six-dimensional $mathcal{N} = (1,1)$ vector and the $mathcal{N} = (2,0)$ tensor multiplets. Among other things, we examine the locally non-geometric R5-branes and space-filling branes that are characterized by the winding space. We also study effective theories of five-branes with string worldsheet instanton corrections.
In this paper we start the analysis of the class $mathcal D_{aleph_2}$, the class of cofinal types of directed sets of cofinality at most $aleph_2$. We compare elements of $mathcal D_{aleph_2}$ using the notion of Tukey reducibility. We isolate some simple cofinal types in $mathcal D_{aleph_2}$, and then proceed to show which of these types have an immediate successor in the Tukey ordering of $mathcal D_{aleph_2}$.
Higher inductive types are a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style. They have proven very fruitful for the synthetic development of homotopy theory within type theory, as well as in formalizing ordinary set-level mathematics in type theory. In this article, we construct models of a wide range of higher inductive types in a fairly wide range of settings. We introduce the notion of cell monad with parameters: a semantically-defined scheme for specifying homotopically well-behaved notions of structure. We then show that any suitable model category has *weakly stable typal initial algebras* for any cell monad with parameters. When combined with the local universes construction to obtain strict stability, this specializes to give models of specific higher inductive types, including spheres, the torus, pushout types, truncations, the James construction, and general localisations. Our results apply in any sufficiently nice Quillen model category, including any right proper, simplicially locally cartesian closed, simplicial Cisinski model category (such as simplicial sets) and any locally presentable locally cartesian closed category (such as sets) with its trivial model structure. In particular, any locally presentable locally cartesian closed $(infty,1)$-category is presented by some model category to which our results apply.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
