English

Examples of non-tame abstract elementary classes of abelian groups

Logic 2026-05-11 v1 Group Theory

Abstract

We construct an abstract elementary class K1K_1 of torsion-free abelian groups such that K1K_1 is not (<0)(<\aleph_0)-tame but is 0\aleph_0-tame. This answers a question of [BoVa17]. Furthermore, for every regular uncountable cardinal μ\mu less than the first measurable cardinal, we construct an abstract elementary class K2(2μ)K_2(2^\mu) of torsion-free abelian groups such that K2(2μ)K_2(2^\mu) is not (<μ)(<\mu)-tame. K1K_1 and K2(2μ)K_2(2^\mu) are non-tame for algebraic reasons. Furthermore, they constitute the first examples of non-tame abstract elementary classes in a natural language.

Keywords

Cite

@article{arxiv.2605.07893,
  title  = {Examples of non-tame abstract elementary classes of abelian groups},
  author = {Daniel Herden and Marcos Mazari-Armida and Michael D. Walton},
  journal= {arXiv preprint arXiv:2605.07893},
  year   = {2026}
}

Comments

18 pages