Related papers: Minimal types in super-dependent theories

We discuss some aspects of closed superstrings in Melvin-type magnetic backgrounds. A 2-parameter family of such NS-NS backgrounds are exactly solvable as weakly coupled string models with the spectrum containing tachyonic modes. Magnetic…

Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…

We prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated and invariant under elementary extensions and expansions of the language. We also study the cohomology of the…

The construction of effective field theories describing M-theory compactified on $S^1/{\bf Z}_2$ is revisited, and new insights into the parameters of the theory are explained. Particularly, the web of constraints which follow from…

We prove that if $T$ is an $\omega$-categorical supersimple theory with nontrivial dependence (given by forking), then there is a nontrivial regular 1-type over a finite set of reals which is realized by real elements; hence forking induces…

We prove a dichotomy for o-minimal fields $\mathcal{R}$, expanded by a $T$-convex valuation ring (where $T$ is the theory of $\mathcal{R}$) and a compatible monomial group. We show that if $T$ is power bounded, then this expansion of…

A trichotomy theorem for countable, stable, unsuperstable theories is offered. We develop the notion of a `regular ideal' of formulas and study types that are minimal with respect to such an ideal.

There is evidence that string theory possesses a large discretuum of stable and/or metastable ground states, with zero or four supersymmetries in four dimensions. I discuss critically the nature of this evidence. Assuming this "landscape"…

The group configuration in o-minimal structures gives rise, just like in the stable case, to a transitive action of a type-definable group on a partial type. Because $acl=dcl$ the o-minimal proof is significantly simpler than Hrushovski's…

Measure-theoretic slow entropy is a more refined invariant than the classical measure-theoretic entropy to characterize the complexity of dynamical systems with subexponential growth rates of distinguishable orbit types. In this paper we…

We introduce a model category of spaces based on the definable sets of an o-minimal expansion of a real closed field. As a model category, it resembles the category of topological spaces, but its underlying category is a coherent topos. We…

We construct type I string models with supersymmetry broken by compactification that are non-tachyonic and have exponentially small effective potential at one-loop. All open string moduli can be stabilized, while the closed string moduli…

In a completely systematic and geometric way, we derive maximal and half-maximal supersymmetric gauged double field theories in lower than ten dimensions. To this end, we apply a simple twisting ansatz to the $D=10$ ungauged maximal and…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

We consider the existence and stability of static configurations of a scalar field in a five dimensional spacetime in which the extra spatial dimension is compactified on an $S^1/Z_2$ orbifold. For a wide class of potentials with multiple…

We deal with the systematic development of stability for the context of approximate elementary submodels of a monster metric space, which is not far, but still very distinct from the first order case. In particular we prove the analogue of…

It is discussed how a limiting procedure of (super)conformal field theories may result in logarithmic (super)conformal field theories. The construction is illustrated by logarithmic limits of (unitary) minimal models in conformal field…

Chen and Ye recently proved that the analytic rank of tensors is stable under field extensions, assuming a fixed base field. Using a more careful analysis, we show that this assumption is unnecessary.

Let R be an o-minimal field with a proper convex subring V. We axiomatize the class of all structures (R,V) such that k_ind, the corresponding residue field with structure induced from R via the residue map, is o-minimal. More precisely, in…

This work is dedicated to the results were got in the model theory of the regular polygons. We give the characterization of the monoids with axiomatizable and model complete class of regular polygons. We describe the monoids with complete…