Related papers: Classification of $\omega$-categorical monadically…
Stability is a well investigated concept in extremal combinatorics. The main idea is that if some object is close in size to an extremal object, then it retains the structure of the extremal construction. In the present paper we study…
Uniform metastable convergence is a weak form of uniform convergence for a family of sequences. In this paper we explore the way that metastable convergence stratifies into a family of notions indexed by countable ordinals. We give two…
We derive a new sufficient condition for the existence of {\omega}-categorical universal structures in classes of relational structures with constraints, augmenting results by Cherlin, Shelah, Chi, and Hubi\v{c}ka and Ne\v{s}et\v{r}il.…
Let $M$ be a $10$-dimensional closed oriented smooth manifold. Set $$\mathcal{D}_{M} := \{ x \in H^{2}(M; \Z/2) \mid x^{2} + w_{2}(M) x \in \rho_{2} ( TH^{4}(M;\Z) ) \}.$$ Suppose that $H_{1}(M;\Z)=0$ and $\mathcal{D}_{M} \subset \rho_{2}(…
We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.
We establish new results on the possible growth rates for the sequence (f_n) counting the number of orbits of a given oligomorphic group on unordered sets of size n. Macpherson showed that for primitive actions, the growth is at least…
Let G be a totally disconnected, locally compact group admitting a contractive automorphism f. We prove a Jordan-Holder theorem for series of f-stable closed subgroups of G, classify all possible composition factors and deduce consequences…
We define two families of expansions of $(\mathbb{Z},+,0)$ by unary predicates, and prove that their theories are superstable of $U$-rank $\omega$. The first family consists of expansions $(\mathbb{Z},+,0,A)$, where $A$ is an infinite…
We describe the local structure of an irreducible algebraic monoid $M$ at an idempotent element $e$. When $e$ is minimal, we show that $M$ is an induced variety over the kernel $MeM$ (a homogeneous space) with fibre the two-sided stabilizer…
We provide a complete classification of when the homeomorphism group of a stable surface, $\Sigma$, has the automatic continuity property: Any homomorphism from Homeo$(\Sigma)$ to a separable group is necessarily continuous. This result…
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…
We show that every separable simple tracially approximately divisible $C^*$-algebra has strict comparison, is either purely infinite, or has stable rank one. As a consequence, we show that every (non-unital) finite simple ${\cal Z}$-stable…
For any minor-closed class of matroids over a fixed finite field, we state an exact structural characterization for the sufficiently connected matroids in the class. We also state a number of conjectures that might be approachable using the…
The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_\sigma$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof…
We investigate the structure of the monoid of endomorphisms of the ordered set $(\mathbb{Q},{\leq})$ of rational numbers. We show that for any countable linearly ordered set $\Omega$, there are uncountably many maximal subgroups of…
We solve a long standing open problem concerning the structure of finite cycles in the category mod A of finitely generated modules over an arbitrary artin algebra A, that is, the chains of homomorphisms $M_0 \stackrel{f_1}{\rightarrow} M_1…
Consider a linear ordering equipped with a finite sequence of monadic predicates. If the ordering contains an interval of order type \omega or -\omega, and the monadic second-order theory of the combined structure is decidable, there exists…
We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…
We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…
Recent experimental works reported observation of the {\omega} structure in steel. Here, stability of the {\omega} structure in steel is investigated based on first-principles with special interests in effects of interstitial C atoms. The…