|Abstract||The 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.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Greg Hjorth & Alexander S. Kechris (1995). Analytic Equivalence Relations and Ulm-Type Classifications. Journal of Symbolic Logic 60 (4):1273-1300.
Francis Oger (1984). The Model Theory of Finitely Generated Finite-by-Abelian Groups. Journal of Symbolic Logic 49 (4):1115-1124.
Vladimir Kanovei (1997). An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model. Journal of Symbolic Logic 62 (4):1333-1351.
Paul C. Eklof (1972). Some Model Theory of Abelian Groups. Journal of Symbolic Logic 37 (2):335-342.
David Holt & Melvin Ulm (1982). Conceptual Frameworks and Realism. Metaphilosophy 13 (1):31–45.
John E. Hutchinson (1976). Order Types of Ordinals in Models of Set Theory. Journal of Symbolic Logic 41 (2):489-502.
Melvin Ulm (1975). Chisholm's Fourth Axiom. Philosophical Studies 27 (1):57 - 61.
Su Gao (1998). On Automorphism Groups of Countable Structures. Journal of Symbolic Logic 63 (3):891-896.
Wesley Calvert (2005). The Isomorphism Problem for Computable Abelian P-Groups of Bounded Length. Journal of Symbolic Logic 70 (1):331 - 345.
Added to index2009-01-28
Total downloads5 ( #160,171 of 548,972 )
Recent downloads (6 months)0
How can I increase my downloads?