pith. sign in

arxiv: 2512.02545 · v2 · submitted 2025-12-02 · 🧮 math.LO

On the problem of stability of abstract elementary classes of modules

Gianluca Paolini , Saharon Shelah This is my paper

Pith reviewed 2026-05-17 02:47 UTC · model grok-4.3

classification 🧮 math.LO
keywords abstract elementary classesstabilitymodulespure embeddingstorsion-free abelian groupsalmost stabilitykappa-localstrongly compact cardinal
0
0 comments X

The pith

Not every abstract elementary class of R-modules with pure embeddings is stable.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper tackles an open question on whether abstract elementary classes of R-modules under pure submodules are always stable. It resolves the question negatively by constructing unstable examples using torsion-free abelian groups. Additionally, it shows that local classes are almost stable in ZFC and that a strongly compact cardinal implies stability for classes with amalgamation. This is relevant because stability controls the number of types and enables better classification of models.

Core claim

We answer this question in the negative by constructing unstable abstract elementary classes (K, ≤_pure) of torsion-free abelian groups. We prove in ZFC that if R is any ring and (K, ≼) is an abstract elementary class of R-modules which is κ-local for some κ ≥ LS(K, ≼), then (K, ≼) is almost stable. As a consequence, assuming the existence of a strongly compact cardinal κ, we have that every abstract elementary class (K, ≼) of R-modules with amalgamation satisfying κ > LS(K, ≼) is stable.

What carries the argument

The construction of unstable abstract elementary classes of torsion-free abelian groups under the pure submodule relation, which serves as a counterexample to universal stability.

If this is right

  • Abstract elementary classes of torsion-free abelian groups can be unstable when using pure embeddings.
  • κ-local abstract elementary classes of R-modules are almost stable.
  • Almost stability is equivalent to stability if the class has the amalgamation property.
  • Every abstract elementary class of R-modules with amalgamation is stable, assuming a strongly compact cardinal larger than the Löwenheim-Skolem number.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The negative result implies that without locality or tameness, stability may fail for module AECs.
  • The introduction of almost stability provides a new tool for analyzing stability-like properties in classes without full amalgamation.
  • Future work could explore whether the instability construction extends to modules over other rings.

Load-bearing premise

The particular choice of torsion-free abelian groups and pure embeddings in the construction must result in instability.

What would settle it

If the constructed class of torsion-free abelian groups turns out to have at most as many types as the size of its models, the claim of instability would be false.

read the original abstract

It is an open problem of Mazari-Armida whether every abstract elementary class of $R$-modules $(\mathbf{K}, \leq_{\mathrm{pure}})$, with $\leq_{\mathrm{pure}}$ the pure submodule relation, is stable. We answer this question in the negative by constructing unstable abstract elementary classes $(\mathbf{K}, \leq_{\mathrm{pure}})$ of torsion-free abelian groups. On the other hand, we prove (in $\mathrm{ZFC}$) that if $R$ is any ring and $(\mathbf{K}, \preccurlyeq)$ is an abstract elementary class of $R$-modules which is $\kappa$-local (also called $\kappa$-tame) for some $\kappa \geq \mathrm{LS}(\mathbf{K}, \preccurlyeq)$, then $(\mathbf{K}, \preccurlyeq)$ is almost stable, where almost stability is a new notion of independent interest that we introduce in this paper, and which is equivalent to the usual notion of stability under the assumption of amalgamation. As a consequence, assuming the existence of a strongly compact cardinal $\kappa$, we have that every abstract elementary class $(\mathbf{K}, \preccurlyeq)$ of $R$-modules with amalgamation satisfying $\kappa > \mathrm{LS}(\mathbf{K}, \preccurlyeq)$ is stable.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper negatively answers Mazari-Armida's open question by constructing an unstable AEC (K, ≤_pure) of torsion-free abelian groups. It introduces the new notion of almost stability, proves in ZFC that any κ-tame AEC of R-modules is almost stable (with equivalence to stability under amalgamation), and derives that a strongly compact cardinal implies stability for tame AECs of R-modules with amalgamation.

Significance. If the explicit construction of instability holds, the negative answer resolves a concrete open problem in the model theory of modules and AECs. The ZFC theorem on tameness implying almost stability is a clean, parameter-free result of independent interest, and the large-cardinal consequence follows standard techniques while highlighting the role of amalgamation. The paper ships a new definition that is shown equivalent to stability under a natural hypothesis.

major comments (2)
  1. [§3] §3 (construction of the unstable class of torsion-free groups): the argument that (K, ≤_pure) satisfies the AEC axioms and admits an order property (or |S(M)| > |M|) under pure embeddings is only sketched; a concrete verification is needed that the chosen groups and embeddings actually produce instability rather than collapsing to stability via preservation of pp-formulas.
  2. [Theorem on almost stability] Theorem on almost stability (ZFC part): while the derivation from κ-locality is claimed to be parameter-free, the precise relation between the new notion and the standard definition of stability (especially the role of the monster model or Galois types) should be stated as a numbered lemma to make the load-bearing step explicit.
minor comments (2)
  1. [Introduction and §2] Notation for pure embeddings (≤_pure vs. ≼) is used inconsistently in early sections; standardize throughout.
  2. [Final corollary] The statement of the strongly-compact consequence should explicitly record the hypothesis κ > LS(K, ≼) in the theorem statement rather than only in the surrounding text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We address each major comment below and will revise the paper to incorporate the suggested improvements.

read point-by-point responses

  1. Referee: [§3] §3 (construction of the unstable class of torsion-free groups): the argument that (K, ≤_pure) satisfies the AEC axioms and admits an order property (or |S(M)| > |M|) under pure embeddings is only sketched; a concrete verification is needed that the chosen groups and embeddings actually produce instability rather than collapsing to stability via preservation of pp-formulas.

    Authors: We agree that the verification in §3 is currently only sketched and that a more explicit check is required. In the revised manuscript we will expand this section with concrete arguments verifying that the class of torsion-free abelian groups under pure embeddings satisfies all AEC axioms, and that the specific groups and embeddings chosen yield an order property (equivalently, more than |M| many Galois types over M) that is not lost through the preservation of pp-formulas. revision: yes

  2. Referee: [Theorem on almost stability] Theorem on almost stability (ZFC part): while the derivation from κ-locality is claimed to be parameter-free, the precise relation between the new notion and the standard definition of stability (especially the role of the monster model or Galois types) should be stated as a numbered lemma to make the load-bearing step explicit.

    Authors: We accept this recommendation. To clarify the relationship between almost stability and ordinary stability, we will add a new numbered lemma that explicitly connects the two notions, including the precise role played by the monster model and Galois types in the argument from κ-locality. This lemma will be placed immediately before the statement of the main almost-stability theorem. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction and theorems are independent

full rationale

The paper provides an explicit ZFC construction of an unstable AEC (K, ≤_pure) of torsion-free abelian groups, directly exhibiting the order property to witness instability. The almost-stability notion is introduced independently via κ-locality and proved equivalent to stability only when amalgamation is assumed separately. No step reduces by definition or by fitting to its own inputs; the negative answer to Mazari-Armida's question rests on the concrete construction rather than any self-referential renaming or imported uniqueness theorem. Self-citations, if present, are not load-bearing for the central claims, which remain externally verifiable via the exhibited groups and embeddings. The strongly compact cardinal consequence follows from standard assumptions without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The work rests on ZFC for the main theorems and the existence of a strongly compact cardinal for the final consequence; almost stability is introduced as a new auxiliary notion without independent evidence outside the paper.

axioms (2)
  • standard math ZFC set theory
    All proofs except the final consequence are carried out in ZFC.
  • domain assumption Existence of a strongly compact cardinal larger than LS(K)
    Invoked to obtain full stability from amalgamation and tameness.
invented entities (1)
  • almost stability no independent evidence
    purpose: Weaker stability notion that coincides with ordinary stability when amalgamation holds.
    Defined and studied in the paper as an intermediate property between tameness and stability.

pith-pipeline@v0.9.0 · 5540 in / 1296 out tokens · 45752 ms · 2026-05-17T02:47:24.108029+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Examples of non-tame abstract elementary classes of abelian groups

    math.LO 2026-05 unverdicted novelty 8.0

    Constructs K1, an AEC of torsion-free abelian groups that is not finitely tame but is countably tame, plus families K2(2^μ) that fail tameness below any regular uncountable μ below the first measurable cardinal.

  2. An unstable abstract elementary class of modules: A variation of Paolini-Shelah's example

    math.LO 2026-04 unverdicted novelty 5.0

    A new abstract elementary class of torsion-free abelian groups is built that is unstable, has JEP and no maximal models but no AP, and is (<aleph0)-tame.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages · cited by 2 Pith papers

  1. [1]

    BoneyTameness from large cardinal axioms

    W. BoneyTameness from large cardinal axioms. J. Symb. Log.79(2014) , no. 4, 1092-1119

    work page 2014

  2. [2]

    BoneyA module-theoretic introduction to abstract elementary classes

    W. BoneyA module-theoretic introduction to abstract elementary classes. Preprint, available on ArXiv

    work page

  3. [3]

    Grossberg and M

    R. Grossberg and M. VanDieren.Galois-stability for tame abstract elementary classes. J. Math. Log.6(2006), no. 1, 25-49. ON THE PROBLEM OF STABILITY OF AECS OF MODULES 11

    work page 2006

  4. [4]

    Mazari-Armida.Characterizing categoricity in several classes of modules

    M. Mazari-Armida.Characterizing categoricity in several classes of modules. J. Algebra617 (2023), 382-401

    work page 2023

  5. [5]

    Mazari-Armida.On superstability in the class of flat modules and perfect rings

    M. Mazari-Armida.On superstability in the class of flat modules and perfect rings. Proc. Amer. Math. Soc.149(2021), 2639-2654

    work page 2021

  6. [6]

    Mazari-Armida.Some stable non-elementary classes of modules

    M. Mazari-Armida.Some stable non-elementary classes of modules. J. Symb. Log.88(2023), no. 1, 93-117

    work page 2023

  7. [7]

    Prest.Model Theory and Modules

    M. Prest.Model Theory and Modules. Cambridge University Press, 2009

    work page 2009

  8. [8]

    Prest.Purity, Spectra and Localisation

    M. Prest.Purity, Spectra and Localisation. Cambridge University Press, 2013

    work page 2013

  9. [9]

    Shelah.Universal classes

    S. Shelah.Universal classes. In: Classification theory (Chicago, IL, 1985), Vol. 1292, Springer, Berlin, pp. 264-418

    work page 1985

  10. [10]

    Shelah.Categoricity for abstract classes with amalgamation

    S. Shelah.Categoricity for abstract classes with amalgamation. Ann. Pure Appl. Logic98 (1999), no. 1-3, 261-294

    work page 1999

  11. [11]

    Shelah.Classification Theory: and the Number of Non-Isomorphic Models

    S. Shelah.Classification Theory: and the Number of Non-Isomorphic Models. Elsevier, 1990

    work page 1990

  12. [12]

    Shelah.Classification Theory for Abstract Elementary Classes

    S. Shelah.Classification Theory for Abstract Elementary Classes. College Publications, Lon- don, 2009

    work page 2009

  13. [13]

    Shelah.Maximal failures of sequence locality inAEC

    S. Shelah.Maximal failures of sequence locality inAEC. Preprint, available on ArXiv

    work page

  14. [14]

    Shelah.Modules and infinitary logics

    S. Shelah.Modules and infinitary logics. In Groups and model theory, Vol. 576, Amer. Math. Soc., Providence, 305-316

    work page

  15. [15]

    Shelah and A

    S. Shelah and A. Villaveces.Infinitary logics andAEC. Proc. Amer. Math. Soc.150(2022), 371-380

    work page 2022

  16. [16]

    Beyond First Order Model Theory

    W. Boney and S. Vasey.A survey on tame abstract elementary classes- In “Beyond First Order Model Theory” (Jos´ e Iovino ed.), CRC Press (2017), 353–427

    work page 2017

  17. [17]

    Logic and its Ap- plications

    B.I. Zilber.A categoricity theorem for quasiminimal excellent classes. In “Logic and its Ap- plications”, Contemporary Mathematics, 297–306. AMS, 2005. Department of Mathematics “Giuseppe Peano”, University of Torino, Via Carlo Al- berto 10, 10123, Italy. Email address:gianluca.paolini@unito.it Einstein Institute of Mathematics, The Hebrew University of J...

    work page 2005