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

Abstract

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

Theorems & Definitions (36)

• Theorem 1.2
• Definition 2.2
• Definition 2.3
• Definition 2.4
• Remark 2.5
• Definition 2.6
• Definition 3.1
• Remark 3.2
• Proposition 3.3
• proof