Related papers: The Schroder-Bernstein property for a-saturated mo…
We show that the relational theory of intersection types known as BCD has the finite model property; that is, BCD is complete for its finite models. Our proof uses rewriting techniques which have as an immediate by-product the polynomial…
We study spectral theory for the Schrodinger operator on manifolds possessing an escape function. A particular class of examples are manifolds with Euclidean and/or hyperbolic ends.
We show that the Cantor-Schr\"oder-Bernstein Theorem for homotopy types, or $\infty$-groupoids holds in the following form: For any two types, if each one is embedded into the other, then they are equivalent. The argument is developed in…
For a general class of $N$-body Schr\"odinger operators with short-range pair-potentials the wave and scattering matrices as well as the restricted wave operators are all defined at any non-threshold energy. This holds without imposing any…
Let T be an algebraically bounded theory. We consider the $L(\bar\delta)$-expansions of T by a tuple $\bar \delta$ of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose…
Let $\mathcal M=(M,<,...)$ be a linearly ordered first-order structure and $T$ its complete theory. We investigate conditions for $T$ that could guarantee that $\mathcal M$ is not much more complex than some colored orders (linear orders…
We show the theory of pointed $\R$-trees with radius at most $r$ is axiomatizable in a suitable continuous signature. We identify the model companion $\rbRT_r$ of this theory and study its properties. In particular, the model companion is…
We study the confinement scenario in N=2 supersymmetric SU(2) gauge theory near the monopole point upon breaking of N=2 supersymmetry by the adjoint matter mass term. We confirm claims made previously that the Abrikosov-Nielsen-Olesen…
We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an…
A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is…
In this paper, we study the scattering theory of a class of continuum Schr\"{o}dinger operators with random sparse potentials. The existence and completeness of wave operators are proven by establishing the uniform boundedness of modified…
We prove that various SO(n)-invariant n-vector models with interactions which have a deep and narrow enough minimum have a first-order transition in the temperature. The result holds in dimension two or more, and is independent on the…
The randomization of a complete first order theory T is the complete continuous theory T^R with two sorts, a sort for random elements of models of T, and a sort for events in an underlying probability space. We give necessary and sufficient…
A fundamental result of Springer says that a quadratic form over a field of characteristic not 2 is isotropic if it is so after an odd degree extension. In this paper we generalize Springer's theorem as follows. Let R be a an arbitrary…
In this paper we prove a strong nonstructure theorem for kappa (T)-saturated models of a stable theory T with dop.
The transfer property for the generalized Browder's theorem both of the tensor product and of the left-right multiplication operator will be characterized in terms of the $B$-Weyl spectrum inclusion. In addition, the isolated points of…
The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…
We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties…
We give necessary and sufficient geometric conditions for a theory definable in an o-minimal structure to interpret a real closed field. The proof goes through an analysis of thorn-minimal types in super-rosy dependent theories of finite…
Massless BPS-saturated states in toroidally compactified heterotic string were discussed first. Then, I constructed a large class of BPS-saturated states of toroidally compactified type II string theories. They were parametrized by four…