Large cardinals arising from the existence of arbitrarily long end elementary extension chains over models of set theory are studied here. In particular, we show that the large cardinals obtained that way (`Unfoldable cardinals') behave as a `boundary' between properties consistent with `V=L' and existence of indiscernibles. We also provide an `embedding characterisation' of the unfoldable cardinals and study their preservation and destruction by various different forcings.
A countable structure is said to be extendible if it has the same Scott sentence as some uncountable structure. Rigid structures are not extendible. We give an example of an extendible model with a rigid elementary extension.
The existence of End Elementary Extensions of models M of ZFC is related to the ordinal height of M, according to classical results due to Keisler, Morley and Silver. In this paper, we further investigate the connection between the height of M and the existence of End Elementary Extensions of M. In particular, we prove that the theory `ZFC + GCH + there exist measurable cardinals + all inaccessible non weakly compact cardinals are possible heights of models with no End Elementary Extensions' is consistent relative to the theory `ZFC + GCH + there exist measurable cardinals + the weakly compact…
A result of Kaufmann shows that if $L_α$ is countable, admissible and satisfies $Π_n\textsf{-Collection}$, then $\langle L_α, \in \rangle$ has a proper $Σ_{n+1}$-elementary end extension. This paper investigates to what extent the theory that holds in $\langle L_α, \in \rangle$ can be transferred to the partially-elementary end extensions guaranteed by Kaufmann's result. We show that there are $L_α$ satisfying full separation, powerset and $Π_n\textsf{-Collection}$ that have no proper $Σ_{n+1}$-elementary end extension satisfying either $Π_{n}\textsf{-Collection}$ or $Π_{n+3}\textsf{-Foundatio…
We show that there exist models $\mathcal M_1$ and $\mathcal M_2$ such that $\mathcal M_1$ elementarily embeds into $\mathcal M_2$ but their ultrafilter extensions $β(\mathcal M_1)$ and $β(\mathcal M_2)$ are not elementarily equivalent.
Suppose that ${\mathcal M}$ is a model of PA and ${\mathcal N}$ is a countably generated elementary end extension of ${\mathcal M}$. Let ${\mathfrak X}$ be the set of subsets of M that are coded by ${\mathcal N}$. Then ${\mathcal M}$ has a minimal elementary end extension that codes exactly the same subsets of M that ${\mathcal N}$ does iff every set that is $Π_1^0$-definable in $({\mathcal M},{\mathfrak X})$ is the union of countably many sets that are $Σ_1^0$-definable.
In this paper we prove that if k is a cardinal in L[0^#], then there is an inner model M such that M |= (V_k,E) has no elementary end extension. In particular if 0^# exists then weak compactness is never downwards absolute. We complement the result with a lemma stating that any cardinal greater than aleph_1 of uncountable cofinality in L[0^#] is Mahlo in every strict inner model of L[0^#].
We first consider three well-known chain conditions in the space of marked groups: the minimal condition on centralizers, the maximal condition on subgroups, and the maximal condition on normal subgroups. For each condition, we produce a characterization in terms of well-founded descriptive-set-theoretic trees. Using these characterizations, we demonstrate that the sets given by these conditions are co-analytic and not Borel in the space of marked groups. We then adapt our techniques to show elementary amenable marked groups may be characterized by well-founded descriptive-set-theoretic trees,…
It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such spaces have countable π-weight. We generalize a result of Gruenhage about spaces which are metrizably fibered. Finally we discover that if there is a Luzin set of reals, then every compact space with a small diagonal will have many points of countable character.
Let $A$ be an infinite set. Let $Ω(A)$ be the algebra over $A$ where every constant is a fundamental constant and every finitary function is a fundamental operation. We shall give a method of representing any algebra $\mathcal{L}$ in the variety generated by $Ω(A)$ as limit reduced powers and even direct limits of limit reduced powers of $\mathcal{L}$. If the algebra $\mathcal{L}$ is elementarily equivalent to $Ω(A)$, then this construction represents $Ω(A)$ as a limit ultrapower and also as direct limits of limit ultrapowers of $Ω(A)$. This method therefore gives a method of representing Bool…
We prove in ZFC the existence of a definable, countably saturated elementary extension of the reals. It seems that it has been taken for granted that there is no distinguished, definable nonstandard model of the reals. (This means a countably saturated elementary extension of the reals.) Of course if V=L then there is such an extension (just take the first one in the sense of the canonical well-ordering of L), but we mean the existence provably in ZFC. There were good reasons for this: without Choice we cannot prove the existence of any elementary extension of the reals containing an infinitel…
In the context of abstract elementary classes (AECs) with a monster model, several possible definitions of superstability have appeared in the literature. Among them are no long splitting chains, uniqueness of limit models, and solvability. Under the assumption that the class is tame and stable, we show that (asymptotically) no long splitting chains implies solvability and uniqueness of limit models implies no long splitting chains. Using known implications, we can then conclude that all the previously-mentioned definitions (and more) are equivalent: $\mathbf{Corollary}$ Let $K$ be a tame AEC …
In this paper we examine the task set forth by Shelah and Villaveces in \cite{ShVi} of proving the uniqueness of limit models of cardinality $μ$ in $λ$-categorical abstract elementary classes with no maximal models, where $λ$ is some cardinal larger than $μ$. In \cite{Va} and \cite{Va-errata} we identified several gaps in the approach outlined in \cite{ShVi}, and we added the assumption that the union of an increasing chain of limit models is a limit model. Here we replace this assumption with the seemingly weaker statement that the union of an increasing and continuous chain of limit models i…
We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued fields is stably embedded in an elementary extension if and only if its value group is stably embedded in its corresponding extension, its residue field is stably embedded in its corresponding extension, and the extension of valued fields satisfies a certain algebraic condition. We show for instance that all types over the Hahn field $\mathbb{R}((\mathbb{Z}))$ are definable. Similarly, all types over the quotient field of the Witt…
An elementary rheory of concatenation is introduced and used to establish mutual interpretability of Robinson arithmetic, Minimal Predicative Set Theory, the quantifier-free part of Kirby's finitary set theory, and Adjunctive Set Theory, with or without extensionality.
We identify the class of elementary groups: the smallest class of totally disconnected locally compact second countable (t.d.l.c.s.c.) groups that contains the profinite groups and the discrete groups, is closed under group extensions of profinite groups and discrete groups, and is closed under countable increasing unions. We show this class enjoys robust permanence properties. In particular, it is closed under group extension, taking closed subgroups, taking Hausdorff quotients, and inverse limits. A characterization of elementary groups in terms of well-founded descriptive-set-theoretic tree…
Every mathematical structure has an elementary extension to a pseudo-countable structure, one that is seen as countable inside a suitable class model of set theory, even though it may actually be uncountable. This observation, proved easily with the Boolean ultrapower theorem, enables a sweeping generalization of results concerning countable models to a rich realm of uncountable models. The Barwise extension theorem, for example, holds amongst the pseudo-countable models -- every pseudo-countable model of ZF admits an end extension to a model of ZFC+V=L. Indeed, the class of pseudo-countable m…
Examples are given of non-elementary properties that are preserved under C-filtrations for various classes C of Abelian groups. The Baer-Specker group is never the union of a chain of proper subgroups with cotorsionfree quotients. Cotorsion-free groups form an abstract elementary class (AEC). The Kaplansky invariants of the Baer-Specker group are used to determine the AECs defined by the perps of the Baer-Specker quotient groups that are obtained by factoring the Baer-Specker group B of a ZFC extension by the Baer-Specker group A of the ground model, under various hypotheses, yielding informat…
In this work we generalize primitive recursion in order to construct a hierarchy of terminating total recursive operators which we refer to as {\em leveled primitive recursion of order $i$}($\mathbf{PR}_{i}$). Primitive recursion is equivalent to leveled primitive recursion of order $1$ ($\mathbf{PR}_{1}$). The functions constructable from the basic functions make up $\mathbf{PR}_{0}$. Interestingly, we show that $\mathbf{PR}_{2}$ is a conservative extension of $\mathbf{PR}_{1}$. However, members of the hierarchy beyond $\mathbf{PR}_{2}$, that is $\mathbf{PR}_{i}$ where $i\geq 3$, can formaliz…
