pith. machine review for the scientific record. sign in

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

Recognition: unknown

On the problem of stability of abstract elementary classes of modules

Gianluca Paolini, Saharon Shelah

classification 🧮 math.LO
keywords mathbfmathrmabstractelementarykappapreccurlyeqmodulespure
0
0 comments X
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.

This paper has not been read by Pith yet.

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.