English

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

Logic 2026-04-21 v2 Group Theory

Abstract

We construct a class K^\hat{K} of torsion-free abelian groups such that K^=(K^,p)\hat{\mathbf{K}}=(\hat{K}, \leq_p) is an abstract elementary class with LS(K^)=0\operatorname{LS}(\hat{\mathbf{K}})=\aleph_0 such that: ()(\cdot) K^\hat{\mathbf{K}} is not stable; ()(\cdot) K^\hat{\mathbf{K}} has the joint embedding property and no maximal models, but does not have the amalgamation property; ()(\cdot) K^\hat{\mathbf{K}} is (<0)(<\aleph_0)-tame. The class we construct is a variation of [PaSh, Section 4] which isolates the core mechanism of the Paolini-Shelah construction.

Keywords

Cite

@article{arxiv.2604.03080,
  title  = {An unstable abstract elementary class of modules: A variation of Paolini-Shelah's example},
  author = {Daniel Herden and Marcos Mazari-Armida and Michael D. Walton},
  journal= {arXiv preprint arXiv:2604.03080},
  year   = {2026}
}

Comments

13 pages