-
Cofibrant generation of pure monomorphisms in presheaf categories
Authors:
Sean Cox,
Jonathan Feigert,
Mark Kamsma,
Marcos Mazari-Armida,
Jiří Rosický
Abstract:
We characterise when the pure monomorphisms in a presheaf category $\mathbf{Set}^\mathcal{C}$ are cofibrantly generated in terms of the category $\mathcal{C}$. In particular, when $\mathcal{C}$ is a monoid $S$ this characterises cofibrant generation of pure monomorphisms between sets with an $S$-action in terms of $S$: this happens if and only if for all $a, b \in S$ there is $c \in S$ such that…
▽ More
We characterise when the pure monomorphisms in a presheaf category $\mathbf{Set}^\mathcal{C}$ are cofibrantly generated in terms of the category $\mathcal{C}$. In particular, when $\mathcal{C}$ is a monoid $S$ this characterises cofibrant generation of pure monomorphisms between sets with an $S$-action in terms of $S$: this happens if and only if for all $a, b \in S$ there is $c \in S$ such that $a = cb$ or $ca = b$. We give a model-theoretic proof: we prove that our characterisation is equivalent to having a stable independence relation, which in turn is equivalent to cofibrant generation. As a corollary, we show that pure monomorphisms in acts over the multiplicative monoid of natural numbers are not cofibrantly generated.
△ Less
Submitted 25 June, 2025;
originally announced June 2025.
-
On the abstract elementary class of acts with embeddings
Authors:
Marcos Mazari-Armida,
Jiří Rosický
Abstract:
We study the class of acts with embeddings as an abstract elementary class. We show that the class is always stable and show that superstability in the class is characterized algebraically via weakly noetherian monoids.
The study of these model-theoretic notions and limit models lead us to introduce parametized weakly noetherian monoids and find a characterization of them via parametrized inject…
▽ More
We study the class of acts with embeddings as an abstract elementary class. We show that the class is always stable and show that superstability in the class is characterized algebraically via weakly noetherian monoids.
The study of these model-theoretic notions and limit models lead us to introduce parametized weakly noetherian monoids and find a characterization of them via parametrized injective acts. Furthermore, we obtain a characterization of weakly noetherian monoids via absolutely pure acts extending a classical result of ring theory.
The paper is aimed at algebraists and model theorists so an effort was made to provide the background for both.
△ Less
Submitted 5 June, 2025; v1 submitted 13 May, 2025;
originally announced May 2025.
-
On the spectrum of limit models
Authors:
Jeremy Beard,
Marcos Mazari-Armida
Abstract:
We study the spectrum of limit models assuming the existence of a nicely behaved independence notion. Under reasonable assumptions, we show that all `long' limit models are isomorphic, and all `short' limit models are non-isomorphic.
$\textbf{Theorem.}$ Let $\mathbf{K}$ be a $\aleph_0$-tame abstract elementary class stable in $λ\geq \operatorname{LS}(\mathbf{K})$ with amalgamation, joint embeddi…
▽ More
We study the spectrum of limit models assuming the existence of a nicely behaved independence notion. Under reasonable assumptions, we show that all `long' limit models are isomorphic, and all `short' limit models are non-isomorphic.
$\textbf{Theorem.}$ Let $\mathbf{K}$ be a $\aleph_0$-tame abstract elementary class stable in $λ\geq \operatorname{LS}(\mathbf{K})$ with amalgamation, joint embedding and no maximal models. Suppose there is an independence relation on the models of size $λ$ that satisfies uniqueness, extension, universal continuity, $(\geq κ)$-local character in a minimal regular $κ\leq λ$, and non-forking amalgamation.
Suppose $δ_1, δ_2 < λ^+$ with $\operatorname{cf}(δ_1) < \operatorname{cf}(δ_2)$. Then for any $N_1, N_2, M \in \mathbf{K}_λ$ where $N_l$ is a $(λ, δ_l)$-limit model over $M$ for $l = 1, 2$,
\[N_1 \text{ is isomorphic to } N_2 \text{ over } M \iff \operatorname{cf}(δ_1) \geq κ\]
Both implications in the conclusion have improvements. High cofinality limits are isomorphic without the $\aleph_0$-tameness assumption and assuming the independence relation is defined only on high cofinality limit models. Low cofinality limits are non-isomorphic without assuming non-forking amalgamation.
We show how our results can be used to study limit models in both abstract settings and in natural examples of abstract elementary classes.
△ Less
Submitted 14 March, 2025;
originally announced March 2025.
-
On Stability and Existence of Models in Abstract Elementary Classes
Authors:
Marcos Mazari-Armida,
Sebastien Vasey,
Wentao Yang
Abstract:
For an abstract elementary class $\mathbf{K}$ and a cardinal $λ\geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $λ^+$-minimal types and continuity of splitting in $λ$, that stability in $λ$ is equivalent to the existence of a model in $λ^{++}$. The forward direction holds without any cardinal or categoricity as…
▽ More
For an abstract elementary class $\mathbf{K}$ and a cardinal $λ\geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $λ^+$-minimal types and continuity of splitting in $λ$, that stability in $λ$ is equivalent to the existence of a model in $λ^{++}$. The forward direction holds without any cardinal or categoricity assumptions, this result improves both [Vas18b, 12.1] and [MaYa24, 3.14].
Moreover, we prove a categoricity theorem for abstract elementary classes with weak amalgamation and tameness under mild structural assumptions in $λ$. A key feature of this result is that we do not assume amalgamation or arbitrarily large models.
△ Less
Submitted 4 September, 2024; v1 submitted 21 June, 2024;
originally announced June 2024.
-
On limit models and parametrized noetherian rings
Authors:
Marcos Mazari-Armida
Abstract:
We study limit models in the abstract elementary class of modules with embeddings as algebraic objects. We characterize parametrized noetherian rings using the degree of injectivity of certain limit models.
We show that the number of limit models and how close a ring is from being noetherian are inversely proportional.
$\textbf{Theorem.}$ Let $n \geq 0$ The following are equivalent.
1. $R$ i…
▽ More
We study limit models in the abstract elementary class of modules with embeddings as algebraic objects. We characterize parametrized noetherian rings using the degree of injectivity of certain limit models.
We show that the number of limit models and how close a ring is from being noetherian are inversely proportional.
$\textbf{Theorem.}$ Let $n \geq 0$ The following are equivalent.
1. $R$ is left $(<\aleph_{n } )$-noetherian but not left $(< \aleph_{n -1 })$-noetherian.
2.The abstract elementary class of modules with embeddings has exactly $n +1$ non-isomorphic $λ$-limit models for every $λ\geq (\operatorname{card}(R) + \aleph_0)^+$ such that the class is stable in $λ$.
We further show that there are rings such that the abstract elementary class of modules with embeddings has exactly $κ$ non-isomorphic $λ$-limit models for every infinite cardinal $κ$.
△ Less
Submitted 28 January, 2025; v1 submitted 30 May, 2024;
originally announced May 2024.
-
Building models in small cardinals in local abstract elementary classes
Authors:
Marcos Mazari-Armida,
Wentao Yang
Abstract:
There are many results in the literature where superstablity-like independence notions, without any categoricity assumptions, have been used to show the existence of larger models. In this paper we show that \emph{stability} is enough to construct larger models for small cardinals assuming a mild locality condition for Galois types.
$\mathbf{Theorem.}$ Suppose $λ<2^{\aleph_0}$. Let $\mathbf{K}$…
▽ More
There are many results in the literature where superstablity-like independence notions, without any categoricity assumptions, have been used to show the existence of larger models. In this paper we show that \emph{stability} is enough to construct larger models for small cardinals assuming a mild locality condition for Galois types.
$\mathbf{Theorem.}$ Suppose $λ<2^{\aleph_0}$. Let $\mathbf{K}$ be an abstract elementary class with $λ\geq LS(\mathbf{K})$. Assume $\mathbf{K}$ has amalgamation in $λ$, no maximal model in $λ$, and is stable in $λ$. If $\mathbf{K}$ is $(<λ^+, λ)$-local, then $\mathbf{K}$ has a model of cardinality $λ^{++}$.
The set theoretic assumption that $λ<2^{\aleph_0}$ and model theoretic assumption of stability in $λ$ can be weakened to the model theoretic assumptions that $|\mathbf{S}^{na}(M)|< 2^{\aleph_0}$ for every $M \in \mathbf{K}_λ$ and stability for $λ$-algebraic types in $λ$. This is a significant improvement of Theorem 0.1., as the result holds on some unstable abstract elementary classes.
△ Less
Submitted 23 April, 2024; v1 submitted 22 October, 2023;
originally announced October 2023.
-
Relative injective modules, superstability and noetherian categories
Authors:
Marcos Mazari-Armida,
Jiri Rosicky
Abstract:
We study classes of modules closed under direct sums, $\mathcal{M}$-submodules and $\mathcal{M}$-epimorphic images where $\mathcal{M}$ is either the class of embeddings, $RD$-embeddings or pure embeddings.
We show that the $\mathcal{M}$-injective modules of theses classes satisfy a Baer-like criterion. In particular, injective modules, $RD$-injective modules, pure injective modules, flat cotorsi…
▽ More
We study classes of modules closed under direct sums, $\mathcal{M}$-submodules and $\mathcal{M}$-epimorphic images where $\mathcal{M}$ is either the class of embeddings, $RD$-embeddings or pure embeddings.
We show that the $\mathcal{M}$-injective modules of theses classes satisfy a Baer-like criterion. In particular, injective modules, $RD$-injective modules, pure injective modules, flat cotorsion modules and $\mathfrak{s}$-torsion pure injective modules satisfy this criterion. The argument presented is a model theoretic one. We use in an essential way stable independence relations which generalize Shelah's non-forking to abstract elementary classes.
We show that the classical model theoretic notion of superstability is equivalent to the algebraic notion of a noetherian category for these classes. We use this equivalence to characterize noetherian rings, pure semisimple rings, perfect rings and finite products of finite rings and artinian valuation rings via superstability.
△ Less
Submitted 16 August, 2024; v1 submitted 4 August, 2023;
originally announced August 2023.
-
A countable universal torsion abelian group for purity
Authors:
Ivo Herzog,
Marcos Mazari-Armida
Abstract:
We show that there is a countable universal abelian p-group for purity, i.e., a countable abelian p-group $U$ such that every countable abelian p-group purely embeds in $U$. This is the last result needed to provide a complete solution to Problem 5.1 of [Fuc15] below $\aleph_ω$. We introduce $\aleph_0$-strongly homogeneous p-groups, show that there is a universal abelian p-group for purity which i…
▽ More
We show that there is a countable universal abelian p-group for purity, i.e., a countable abelian p-group $U$ such that every countable abelian p-group purely embeds in $U$. This is the last result needed to provide a complete solution to Problem 5.1 of [Fuc15] below $\aleph_ω$. We introduce $\aleph_0$-strongly homogeneous p-groups, show that there is a universal abelian p-group for purity which is $\aleph_0$-strongly homogeneous, and completely characterize the countable $\aleph_0$-strongly homogeneous p-groups.
△ Less
Submitted 21 February, 2023; v1 submitted 29 August, 2022;
originally announced August 2022.
-
Characterizing categoricity in several classes of modules
Authors:
Marcos Mazari-Armida
Abstract:
We show that the condition of being categorical in a tail of cardinals can be characterized algebraically for several classes of modules.
$Theorem.$ Assume $R$ is an associative ring with unity.
1. The class of locally pure-injective $R$-modules is $λ$-categorical in $all$ $λ> |R|+\aleph_0$ if and only if $R \cong M_n(D)$ for $D$ a division ring and $n \geq 1$.
2. The class of flat $R$-modul…
▽ More
We show that the condition of being categorical in a tail of cardinals can be characterized algebraically for several classes of modules.
$Theorem.$ Assume $R$ is an associative ring with unity.
1. The class of locally pure-injective $R$-modules is $λ$-categorical in $all$ $λ> |R|+\aleph_0$ if and only if $R \cong M_n(D)$ for $D$ a division ring and $n \geq 1$.
2. The class of flat $R$-modules is $λ$-categorical in $all$ $λ> |R| + \aleph_0$ if and only if $R \cong M_n(k)$ for $k$ a local ring such that its maximal ideal is left $T$-nilpotent and $n \geq 1$.
3. Assume $R$ is a commutative ring. The class of absolutely pure $R$-modules is $λ$-categorical in $all$ $λ> |R| + \aleph_0$ if and only if $R$ is a local artinian ring.
We show that in the above results it is enough to assume $λ$-categoricity in $some$ large cardinal $λ$. This shows that Shelah's Categoricity Conjecture holds for the class of locally pure-injective modules, flat modules and absolutely pure modules. These classes are not first-order axiomatizable for arbitrary rings.
We provide rings such that the class of flat modules is categorical in a tail of cardinals but it is not first-order axiomatizable.
△ Less
Submitted 7 October, 2022; v1 submitted 16 February, 2022;
originally announced February 2022.
-
A note on torsion modules with pure embeddings
Authors:
Marcos Mazari-Armida
Abstract:
We study Martsinkovsky-Russell torsion modules [MaRu20] with pure embeddings as an abstract elementary class. We give a model-theoretic characterization of the pure-injective and the $Σ$-pure-injective modules relative to the class of torsion modules assuming that the torsion submodule is a pure submodule. Our characterization of relative $Σ$-pure-injective modules strictly extends the classical c…
▽ More
We study Martsinkovsky-Russell torsion modules [MaRu20] with pure embeddings as an abstract elementary class. We give a model-theoretic characterization of the pure-injective and the $Σ$-pure-injective modules relative to the class of torsion modules assuming that the torsion submodule is a pure submodule. Our characterization of relative $Σ$-pure-injective modules strictly extends the classical charactetization of [GrJe76] and [Zim, 3.6].
We study the limit models of the class and determine when the class is superstable assuming that the torsion submodule is a pure submodule. As a corollary, we show that the class of torsion abelian groups with pure embeddings is strictly stable, i.e., stable not superstable.
△ Less
Submitted 23 February, 2023; v1 submitted 20 April, 2021;
originally announced April 2021.
-
Some stable non-elementary classes of modules
Authors:
Marcos Mazari-Armida
Abstract:
Fisher [Fis75] and Baur [Bau75] showed independently in the seventies that if $T$ is a complete first-order theory extending the theory of modules, then the class of models of $T$ with pure embeddings is stable. In [Maz4, 2.12], it is asked if the same is true for any abstract elementary class $(K, \leq_p)$ such that $K$ is a class of modules and $\leq_p$ is the pure submodule relation. In this pa…
▽ More
Fisher [Fis75] and Baur [Bau75] showed independently in the seventies that if $T$ is a complete first-order theory extending the theory of modules, then the class of models of $T$ with pure embeddings is stable. In [Maz4, 2.12], it is asked if the same is true for any abstract elementary class $(K, \leq_p)$ such that $K$ is a class of modules and $\leq_p$ is the pure submodule relation. In this paper we give some instances where this is true:
$\textbf{Theorem.}$ Assume $R$ is an associative ring with unity. Let $(K, \leq_p)$ be an AEC such that $K \subseteq R\text{-Mod}$ and $K$ is closed under finite direct sums, then:
- If $K$ is closed under pure-injective envelopes, then $(K, \leq_p)$ is $λ$-stable for every $λ\geq LS(K)$ such that $λ^{|R| + \aleph_0}= λ$.
- If $K$ is closed under pure submodules and pure epimorphic images, then $(K, \leq_p)$ is $λ$-stable for every $λ$ such that $λ^{|R| + \aleph_0}= λ$.
- Assume $R$ is Von Neumann regular. If $K$ is closed under submodules and has arbitrarily large models, then $(K, \leq_p)$ is $λ$-stable for every $λ$ such that $λ^{|R| + \aleph_0}= λ$.
As an application of these results we give new characterizations of noetherian rings, pure-semisimple rings, dedekind domains, and fields via superstability. Moreover, we show how these results can be used to show a link between being good in the stability hierarchy and being good in the axiomatizability hierarchy.
Another application is the existence of universal models with respect to pure embeddings in several classes of modules. Among them, the class of flat modules and the class of injective torsion modules.
△ Less
Submitted 9 July, 2021; v1 submitted 6 October, 2020;
originally announced October 2020.
-
A model theoretic solution to a problem of László Fuchs
Authors:
Marcos Mazari-Armida
Abstract:
Problem 5.1 in page 181 of [Fuc15] asks to find the cardinals $λ$ such that there is a universal abelian $p$-group for purity of cardinality $λ$, i.e., an abelian $p$-group $U_λ$ of cardinality $λ$ such that every abelian $p$-group of cardinality $\leq λ$ purely embeds in $U_λ$. In this paper we use ideas from the theory of abstract elementary classes to show:
$\textbf{Theorem.}$ Let $p$ be a pr…
▽ More
Problem 5.1 in page 181 of [Fuc15] asks to find the cardinals $λ$ such that there is a universal abelian $p$-group for purity of cardinality $λ$, i.e., an abelian $p$-group $U_λ$ of cardinality $λ$ such that every abelian $p$-group of cardinality $\leq λ$ purely embeds in $U_λ$. In this paper we use ideas from the theory of abstract elementary classes to show:
$\textbf{Theorem.}$ Let $p$ be a prime number. If $λ^{\aleph_0}=λ$ or $\forall μ< λ( μ^{\aleph_0} < λ)$, then there is a universal abelian $p$-group for purity of cardinality $λ$. Moreover for $n\geq 2$, there is a universal abelian $p$-group for purity of cardinality $\aleph_n$ if and only if $2^{\aleph_0} \leq \aleph_n$.
As the theory of abstract elementary classes has barely been used to tackle algebraic questions, an effort was made to introduce this theory from an algebraic perspective.
△ Less
Submitted 10 September, 2020; v1 submitted 14 May, 2020;
originally announced May 2020.
-
Simple-like independence relations in abstract elementary classes
Authors:
Rami Grossberg,
Marcos Mazari-Armida
Abstract:
We introduce and study simple and supersimple independence relations in the context of AECs with a monster model.
$Theorem$: Let $K$ be an AEC with a monster model.
- If $K$ has a simple independence relation, then $K$ does not have the 2-tree property.
- If $K$ has a simple independence relation with $(<\aleph_0)$-witness property, then $K$ does not have the tree property.
The proof of bo…
▽ More
We introduce and study simple and supersimple independence relations in the context of AECs with a monster model.
$Theorem$: Let $K$ be an AEC with a monster model.
- If $K$ has a simple independence relation, then $K$ does not have the 2-tree property.
- If $K$ has a simple independence relation with $(<\aleph_0)$-witness property, then $K$ does not have the tree property.
The proof of both facts is done by finding cardinal bounds to classes of small Galois-types over a fixed model that are inconsistent for large subsets. We think this finer way of counting types is an interesting notion in itself. We characterize supersimple independence relations by finiteness of the Lascar rank under locality assumptions on the independence relation.
△ Less
Submitted 22 February, 2021; v1 submitted 5 March, 2020;
originally announced March 2020.
-
On superstability in the class of flat modules and perfect rings
Authors:
Marcos Mazari-Armida
Abstract:
We obtain a characterization of left perfect rings via superstability of the class of flat left modules with pure embeddings.
$\mathbf{Theorem.}$ For a ring $R$ the following are equivalent.
- $R$ is left perfect.
- The class of flat left $R$-modules with pure embeddings is superstable.
- There exists a $λ\geq (|R| + \aleph_0)^+$ such that the class of flat left $R$-modules with pure embed…
▽ More
We obtain a characterization of left perfect rings via superstability of the class of flat left modules with pure embeddings.
$\mathbf{Theorem.}$ For a ring $R$ the following are equivalent.
- $R$ is left perfect.
- The class of flat left $R$-modules with pure embeddings is superstable.
- There exists a $λ\geq (|R| + \aleph_0)^+$ such that the class of flat left $R$-modules with pure embeddings has uniqueness of limit models of cardinality $λ$.
- Every limit model in the class of flat left $R$-modules with pure embeddings is $Σ$-cotorsion.
A key step in our argument is the study of limit models in the class of flat modules. We show that limit models with chains of long cofinality are cotorsion and that limit models are elementarily equivalent.
We obtain a new characterization via limit models of the rings characterized in [Rot02]. We show that in these rings the equivalence between left perfect rings and superstability can be refined. We show that the results for these rings can be applied to extend [She17, 1.2] to classes of flat modules not axiomatizable in first-order logic.
△ Less
Submitted 10 September, 2020; v1 submitted 17 October, 2019;
originally announced October 2019.
-
Superstability, noetherian rings and pure-semisimple rings
Authors:
Marcos Mazari-Armida
Abstract:
We uncover a connection between the model-theoretic notion of superstability and that of noetherian rings and pure-semisimple rings. We characterize noetherian rings via superstability of the class of left modules with embeddings.
$\mathbf{Theorem.}$ For a ring $R$ the following are equivalent.
- $R$ is left noetherian.
- The class of left $R$-modules with embeddings is superstable.
- For…
▽ More
We uncover a connection between the model-theoretic notion of superstability and that of noetherian rings and pure-semisimple rings. We characterize noetherian rings via superstability of the class of left modules with embeddings.
$\mathbf{Theorem.}$ For a ring $R$ the following are equivalent.
- $R$ is left noetherian.
- The class of left $R$-modules with embeddings is superstable.
- For every $λ\geq |R| + \aleph_0$, there is $χ\geq λ$ such that the class of left $R$-modules with embeddings has uniqueness of limit models of cardinality $χ$.
- Every limit model in the class of left $R$-modules with embeddings is $Σ$-injective.
We characterize left pure-semisimple rings via superstability of the class of left modules with pure embeddings.
$\mathbf{Theorem.}$ For a ring $R$ the following are equivalent.
- $R$ is left pure-semisimple.
- The class of left $R$-modules with pure embeddings is superstable.
- There exists $λ\geq (|R| + \aleph_0)^+$ such that the class of left $R$-modules with pure embeddings has uniqueness of limit models of cardinality $λ$.
- Every limit model in the class of left $R$-modules with pure embeddings is $Σ$-pure-injective.
We think that both equivalences provide evidence that that the notion of superstability could shed light in the understanding of algebraic concepts.
As this paper is aimed at model theorists and algebraists an effort was made to provide the background for both.
△ Less
Submitted 3 November, 2020; v1 submitted 6 August, 2019;
originally announced August 2019.
-
On universal modules with pure embeddings
Authors:
Thomas G. Kucera,
Marcos Mazari-Armida
Abstract:
We show that certain classes of modules have universal models with respect to pure embeddings.
$Theorem.$ Let $R$ be a ring, $T$ a first-order theory with an infinite model extending the theory of $R$-modules and $K^T=(Mod(T), \leq_{pp})$ (where $\leq_{pp}$ stands for pure submodule). Assume $K^T$ has joint embedding and amalgamation.
If $λ^{|T|}=λ$ or $\forall μ< λ( μ^{|T|} < λ)$, then $K^T$…
▽ More
We show that certain classes of modules have universal models with respect to pure embeddings.
$Theorem.$ Let $R$ be a ring, $T$ a first-order theory with an infinite model extending the theory of $R$-modules and $K^T=(Mod(T), \leq_{pp})$ (where $\leq_{pp}$ stands for pure submodule). Assume $K^T$ has joint embedding and amalgamation.
If $λ^{|T|}=λ$ or $\forall μ< λ( μ^{|T|} < λ)$, then $K^T$ has a universal model of cardinality $λ$.
As a special case we get a recent result of Shelah [Sh17, 1.2] concerning the existence of universal reduced torsion-free abelian groups with respect to pure embeddings.
We begin the study of limit models for classes of $R$-modules with joint embedding and amalgamation. We show that limit models with chains of long cofinality are pure-injective and we characterize limit models with chains of countable cofinality. This can be used to answer Question 4.25 of [Maz].
As this paper is aimed at model theorists and algebraists an effort was made to provide the background for both.
△ Less
Submitted 21 February, 2020; v1 submitted 1 March, 2019;
originally announced March 2019.
-
Algebraic description of limit models in classes of abelian groups
Authors:
Marcos Mazari-Armida
Abstract:
We study limit models in the class of abelian groups with the subgroup relation and in the class of torsion-free abelian groups with the pure subgroup relation. We show:
$\textbf{Theorem}$
(1) If $G$ is a limit model of cardinality $λ$ in the class of abelian groups with the subgroup relation, then $G \cong (\oplus_λ\mathbb{Q}) \oplus \oplus_{p \text{ prime}} (\oplus_λ \mathbb{Z}(p^\infty))$.…
▽ More
We study limit models in the class of abelian groups with the subgroup relation and in the class of torsion-free abelian groups with the pure subgroup relation. We show:
$\textbf{Theorem}$
(1) If $G$ is a limit model of cardinality $λ$ in the class of abelian groups with the subgroup relation, then $G \cong (\oplus_λ\mathbb{Q}) \oplus \oplus_{p \text{ prime}} (\oplus_λ \mathbb{Z}(p^\infty))$.
(2) If $G$ is a limit model of cardinality $λ$ in the class of torsion-free abelian groups with the pure subgroup relation, then:
* If the length of the chain has uncountable cofinality, then $ G \cong (\oplus_λ \mathbb{Q} ) \oplus Π_{p\text{ prime}} \overline{(\oplus_λ \mathbb{Z}_{(p)})}$.
* If the length of the chain has countable cofinality, then $G$ is not algebraically compact.
We also study the class of finitely Butler groups with the pure subgroup relation, we show that it is an AEC, Galois-stable and $(<\aleph_0)$-tame and short.
△ Less
Submitted 19 August, 2019; v1 submitted 4 October, 2018;
originally announced October 2018.
-
Universal classes near $\aleph_1$
Authors:
Marcos Mazari-Armida,
Sebastien Vasey
Abstract:
Shelah has provided sufficient conditions for an $L_{ω_1, ω}$-sentence $ψ$ to have arbitrarily large models and for a Morley-like theorem to hold of $ψ$. These conditions involve structural and set-theoretic assumptions on all the $\aleph_n$'s. Using tools of Boney, Shelah, and the second author, we give assumptions on $\aleph_0$ and $\aleph_1$ which suffice when $ψ$ is restricted to be universal:…
▽ More
Shelah has provided sufficient conditions for an $L_{ω_1, ω}$-sentence $ψ$ to have arbitrarily large models and for a Morley-like theorem to hold of $ψ$. These conditions involve structural and set-theoretic assumptions on all the $\aleph_n$'s. Using tools of Boney, Shelah, and the second author, we give assumptions on $\aleph_0$ and $\aleph_1$ which suffice when $ψ$ is restricted to be universal:
$\mathbf{Theorem}$ Assume $2^{\aleph_{0}} < 2 ^{\aleph_{1}}$. Let $ψ$ be a universal $L_{ω_{1}, ω}$-sentence.
- If $ψ$ is categorical in $\aleph_{0}$ and $1 \leq I(ψ, \aleph_{1}) < 2 ^{\aleph_{1}}$, then $ψ$ has arbitrarily large models and categoricity of $ψ$ in some uncountable cardinal implies categoricity of $ψ$ in all uncountable cardinals.
- If $ψ$ is categorical in $\aleph_1$, then $ψ$ is categorical in all uncountable cardinals.
The theorem generalizes to the framework of $L_{ω_1, ω}$-definable tame abstract elementary classes with primes.
△ Less
Submitted 4 June, 2018; v1 submitted 7 December, 2017;
originally announced December 2017.
