Related papers: When does $\aleph_1$-categoricity imply $\omega$-s…
For the class of solvable groups of homeomorphisms of the line preserving orientation and containing a freely acting element, we establish the metabelianity of the quotient group $G/H_G$, where the elements of the normal subgroup $H_G$ are…
We consider stability theory for Polish spaces and more generally for definable structures (say, with elements of a set of reals). We clarify by proving some equivalent conditions for $\aleph_0$-stability. We succeed to prove existence of…
In these notes we prove log-type stability for the Calder\'on problem with conductivities in $ C^{1,\varepsilon}(\bar{\Omega}) $. We follow the lines of a recent work by Haberman and Tataru in which they prove uniqueness for $…
We prove that every many-sorted $\omega$-categorical theory is completely interpretable in a one-sorted $\omega$-categorical theory. As an application, we give a short proof of the existence of non $G$--compact $\omega$-categorical…
We develop foundational aspects of stability theory in affine logic. On the one hand, we prove appropriate affine versions of many classical results, including definability of types, existence of non-forking extensions, and other…
We introduce a stability criterion for quantum statistical ensembles describing macroscopic systems. An ensemble is called "stable" when a small number of local measurements cannot significantly modify the probability distribution of the…
We study atom canonicity for several varieties of cylindric like algebras that contain properly the variety of representable algebras. The algebras in such varieties have relativized representations, and we thereby obtain many omitting…
We define here an analogue, for a semi-stable group scheme whose generic fiber is an abelian variety, of M. J. Taylor's class-invariant homomorphism (defined for abelian schemes), and we give a geometric description of it. Then we extend a…
In the presence of arbitrarily large magnetic fields, matter composed of electrons and nuclei was known to be unstable if $\alpha$ or $Z$ is too large. Here we prove that matter {\it is stable\/} if $\alpha<0.06$ and $Z\alpha^2<0.04$.
Given a particular collection of categorical axioms, aimed at capturing properties of the category of locales, we show that if $\mathcal{C}$ is a category that satisfies the axioms then so too is the category $[ G, \mathcal{C}]$ of…
We prove that if $f$ is a $C^{1+}$ partially hyperbolic diffeomorphism satisfying certain conditions then there is a $C^1$-open neighborhood $\cA$ of $f$ so that every $g\in \cA\cap \operatorname{Diff}^{1+}(M)$ has a unique equilibrium…
According to seminal work of Kontsevich, the unstable homology of the mapping class group of a surface can be computed via the homology of a certain lie algebra. In a recent paper, S. Morita analyzed the abelianization of this lie algebra,…
Let $A$ be a separable, unital, simple C*-algebra with stable rank one. We show that every strictly positive, lower semicontinuous, affine function on the simplex of normalized quasitraces of $A$ is realized as the rank of an operator in…
In this paper we put forward a new solution of the well-known problem of relevant logics, i.e. we construct an atomic entailment. Hence, we construct a system of predicate calculus based on the atomic entailment. Next, we establish the…
$\mu$-Abstract Elementary Classes are a model theoretic framework introduced in [BGL+16] to encompass classes axiomatized by $\mathbb{L}_{\infty, \infty}$. We show that the framework extends beyond these logics by showing classes…
We consider the possibility of the existence of a stable massive charged particle by a minimal extension of the standard model particle content. Absolute stability in the case of singly charged particle is not possible if the usual doublet…
Representation stability is a theory describing a way in which a sequence of representations of different groups is related, and essentially contains a finite amount of information. Starting with Church-Ellenberg-Farb's theory of…
This paper focuses on the characterization of $\aleph_0$-categorical theories of trees in the following sense: for any $\aleph_0$-cateorical theory $T$ of trees there is a tree plan $\Gamma$ such that $T=Th(\Gamma(\omega))$ where…
The Standard Model electroweak vacuum has been found to be metastable, with the true stable vacuum given by a large, phenomenologically unacceptable vacuum expectation value $\approx M_{P}$. Moreover, it may be unstable in an inflationary…
The real homology of a compact, n-dimensional Riemannian manifold M is naturally endowed with the stable norm. The stable norm of a homology class is the minimal Riemannian volume of its representatives. If M is orientable the stable norm…