Metamathematics of Ulm theory
AbstractThe classical Ulm theory provides a complete set of invariants for countable abelian p-groups, and hence also for countable torsion abelian groups. These invariants involve countable ordinals. One can read off many simple structural properties of such groups directly from the Ulm theory. We carry out a reverse mathematics analysis of several such properties. In many cases, we reverse to ATR0, thereby demonstrating a kind of necessary use of Ulm theory.
Similar books and articles
Analytic equivalence relations and Ulm-type classifications.Greg Hjorth & Alexander S. Kechris - 1995 - Journal of Symbolic Logic 60 (4):1273-1300.
On automorphism groups of countable structures.Su Gao - 1998 - Journal of Symbolic Logic 63 (3):891-896.
Order types of ordinals in models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
Some model theory of Abelian groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
An Ulm-type classification theorem for equivalence relations in Solovay model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
The Isomorphism Problem for Computable Abelian p-Groups of Bounded Length.Wesley Calvert - 2005 - Journal of Symbolic Logic 70 (1):331 - 345.
Added to PP
Historical graph of downloads