Theorien abelscher Gruppen mit einem einstelligen Prädikat
The theory of abelian p-groups with the quantifier I is decidable
The elementary theory of Abelian groups with m-chains of pure subgroups
Ample hierarchy
The ample hierarchy of geometries of stables theories is strict. We generalise the construction of the free pseudospace to higher dimensions and show that the n-dimensional free pseudospace is ω-stable n-ample yet not (n+1)-ample. In particular, the free pseudospace is not 3-ample. A thorough study of forking is conducted and an explicit description of canonical bases is given.
Page 1