Related papers: The Schroder-Bernstein property for a-saturated mo…
We call a first-order formula one-dimensional if its every maximal block of existential (universal) quantifiers leaves at most one variable free. We consider the one-dimensional restrictions of the guarded fragment, GF, and the tri-guarded…
We analyze the stability and stabilizability properties of mixed retarded-neutral type systems when the neutral term is allowed to be singular. Considering an operator model of the system in a Hilbert space we are interesting in the…
The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…
Type-IIB supersymmetric theories have an SL(2,Z) invariance, known as U-duality, which controls the non-perturbative behavior of the theory. Under SL(2,Z) the supercharges are doublets, implying that the bosonic charges would be singlets or…
In this paper we investigate some properties of first order theories which prevent them from having universal models under certain cardinal arithmetic assumptions. Our results give a new syntactical condition, oak property, which is a…
We consider the realization of four-dimensional theories with N = 2 supersymmetry as M-theory configurations including a five-brane. Our emphasis is on the spectrum of massive states, that are realized as two-branes ending on the…
Let K be an algebraically bounded structure and T be its theory. If T is model complete, then the theory of K endowed with a derivation, denoted by $T^{\delta}$, has a model completion. Additionally, we prove that if the theory T is…
The following properties are preserved under elementary equivalence, among finitely generated groups: being hyperbolic (possibly with torsion), being hyperbolic and cubulable, and being a subgroup of a hyperbolic group. In other words, if a…
The perturbative analysis of models of open and closed superstrings presents a number of surprises. For instance, variable numbers of antisymmetric tensors ensure their consistency via generalized Green-Schwarz cancellations and a novel…
A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…
Let $(M,\scott X) \models \ACA$ be such that $P_\scott X$, the collection of all unbounded sets in $\scott X$, admits a definable complete ultrafilter and let $T$ be a theory extending first order arithmetic coded in $\scott X$ such that…
The Bondi formula for calculation of the invariant mass in the Tolman- Bondi (TB) model is interprated as a transformation rule on the set of co-moving coordinates. The general procedure by which the three arbitrary functions of the TB…
It is proved that if a Banach space $X$ has a basis $(e_n)$ satisfying every spreading model of a normalized block basis of $(e_n)$ is 1-equivalent to the unit vector basis of $\ell_1$ (respectively, $c_0$) then $X$ contains $\ell_1$…
We develop a simple Ginsburg-Landau theory to study all the possible phases and phase transitions in $^{4}He $, analyze the condition for the existence of the supersolid (SS) and map out its global phase diagram from a unified framework. If…
We study the Borel-reducibility of isomorphism relations in the generalized Baire space $\kappa^\kappa$. In the main result we show for inaccessible $\kappa$, that if $T$ is a classifiable theory and $T'$ is superstable with the strong…
We prove a main gap theorem for e-saturated submodels of a homogeneous structure. We also study the number of e-saturated models, which are not elementarily embeddable to each other
We examine the modular properties of nonrenormalizable superpotential terms in string theory and show that the requirement of modular invariance necessitates the nonvanishing of certain Nth order nonrenormalizable terms. In a class of…
In this paper we address a problem posed by Shelah in 1999 to find a suitable notion for superstability for abstract elementary classes in which limit models of cardinality $\mu$ are saturated. Theorem 1. Suppose that $\mathcal{K}$ is a…
Keisler proved that if $\theta$ is a strong limit cardinal and $\lambda$ is a singular cardinal, then the transfer relation $\theta\longrightarrow\lambda$ holds. In a previous paper, we studied initial elementary submodels of the…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…