Metamathematics of Ulm theory
| 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) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesGreg 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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,171 of 548,972 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
