Related papers: Model theoretic stability and categoricity for com…
A framework is developed enabling the global analysis of the stability of cosmological models using the local geometric characteristics of the infinite-dimensional superspace, i.e. using the generalised Jacobi equation reformulated for…
Robustness guarantees are important properties to be looked for during control design. They ensure stability of closed-loop systems in face of uncertainties, unmodeled effects and bounded disturbances. While the theory on robust stability…
lambda-good frame is for us a parallel of the class of models of a superstable theory. Our main line is to start with lambda-good^+ frame s, categorical in lambda, n-successful for n large enough and try to have parallel of stability theory…
We consider positively supported Borel measures for which all moments exist. On the set of compactly supported measures in this class a partial order is defined via eventual dominance of the moment sequences. Special classes are identified…
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…
We investigate the applicability of the moduli space approximation in theories with unbroken non-Abelian gauge symmetries. Such theories have massless magnetic monopoles that are manifested at the classical level as clouds of non-Abelian…
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…
In this article, we study the behavior of the stability of pullback of a vector bundle under a finite morphism from a (not necessarily smooth) stacky curve to an orbifold curve. We establish a categorical equivalence between proper formal…
The absence, so far, of any graviton signatures at the LHC imposes severe constraints on the Randall-Sundrum scenario. Although a generalization to higher dimensions with nested warpings has been shown to avoid these constraints, apart from…
We prove a homological stabilization theorem for Hurwitz spaces: moduli spaces of branched covers of the complex projective line. This has the following arithmetic consequence: let l>2 be prime and A a finite abelian l-group. Then there…
We extend Makkai duality between coherent toposes and ultracategories to a duality between toposes with enough points and ultraconvergence spaces. Our proof generalizes and simplifies Makkai's original proof. Our main result can also be…
Given Polish space $\mathcal{Y}$ and a continuous language $L$ we study the corresponding logic $\mathsf{Iso}(\mathcal{Y})$-space $\mathcal{Y}_L$. We build a framework of generalized model theory towards analysis of Borel complexity of…
This work is a contribution to the understanding of the question of stability of Perfectly Matched Layers (PMLs) in corners, at continuous and discrete levels. First, stability results are presented for the Cartesian PMLs associated to a…
We show that given a monadically stable theory $T$, a sufficiently saturated $\mathbf M \models T$, and a coherent system of probability measures on the $\sigma$-algebras generated by parameter-definable sets of $\mathbf M$ in each…
We study expansions of Hilbert spaces with a bounded normal operator $T$. We axiomatize this theory in a natural language and identify all of its completions. We prove the definability of the adjoint $T^*$ and prove quantifier elimination…
Quasisymmetry builds a third invariant for charged-particle motion besides energy and magnetic moment. We address quasisymmetry at the level of approximate symmetries of first-order guiding-centre motion. We find that the conditions to…
We prove that a wide Morley sequence in a wide generically stable type is isometric to the standard basis of an $\ell_p$ space for some $p$.
We investigate various forms of (model-theoretic) stability for hypergraphs and their corresponding strengthenings of the hypergraph regularity lemma with respect to partitions of vertices. On the one hand, we provide a complete…
For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order…
We introduce a new ladder of function spaces which is shown to fill in the gap between the weak $L^{p\infty}$ spaces and the larger Morrey spaces, $M^p$. Our motivation for introducing these new spaces, denoted $\V^{pq}$, is to gain a more…