Undecidable lt theories of topological Abelian groups

&
Journal of Symbolic Logic 46 (4):761 - 772 (1981)
  Copy   BIBTEX

Abstract

We prove the hereditary undecidability of the L t theories of: (1) torsion-free Hausdorff topological abelian groups; (2) locally pure Hausdorff topological abelian groups

Categories

Keywords

Reprint years

DOI

10.2307/2273225

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Locally pure topological abelian groups: elementary invariants.G. Cherlin & P. H. Schmitt - 1983 - Annals of Pure and Applied Logic 24 (1):49-85.
On the undecidability of some classes of abelian-by-finite groups.Annalisa Marcja, Mike Prest & Carlo Toffalori - 1993 - Annals of Pure and Applied Logic 62 (2):167-173.
Borel reductions of profinite actions of SL n.Samuel Coskey - 2010 - Annals of Pure and Applied Logic 161 (10):1270-1279.
Degrees of orders on torsion-free Abelian groups.Asher M. Kach, Karen Lange & Reed Solomon - 2013 - Annals of Pure and Applied Logic 164 (7-8):822-836.
The classification problem for p-local torsion-free Abelian groups of rank two.Greg Hjorth & Simon Thomas - 2006 - Journal of Mathematical Logic 6 (2):233-251.
Jump degrees of torsion-free abelian groups.Brooke M. Andersen, Asher M. Kach, Alexander G. Melnikov & Reed Solomon - 2012 - Journal of Symbolic Logic 77 (4):1067-1100.
Finite automata presentable Abelian groups.André Nies & Pavel Semukhin - 2010 - Annals of Pure and Applied Logic 161 (3):458-467.
On the complexity of the classification problem for torsion-free Abelian groups of finite rank.Simon Thomas - 2001 - Bulletin of Symbolic Logic 7 (3):329-344.
Some model theory of Abelian groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
On non-compact p-adic definable groups.Will Johnson & Ningyuan Yao - 2022 - Journal of Symbolic Logic 87 (1):188-213.

Analytics

Added to PP
2009-01-28

Downloads
63 (#327,578)

6 months
18 (#154,163)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Locally pure topological abelian groups: elementary invariants.G. Cherlin & P. H. Schmitt - 1983 - Annals of Pure and Applied Logic 24 (1):49-85.

Add more citations

References found in this work

Sentences Preserved between Equivalent Topological Bases.T. A. McKee - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):79-84.
Sentences Preserved between Equivalent Topological Bases.T. A. McKee - 1976 - Mathematical Logic Quarterly 22 (1):79-84.
The elementary theory of abelian groups.Paul C. Eklof - 1972 - Annals of Mathematical Logic 4 (2):115.
Infinitary logic and topological homeomorphisms.T. A. McKee - 1975 - Mathematical Logic Quarterly 21 (1):405-408.
Model theory of topological structures.Steven Garavaglia - 1978 - Annals of Mathematical Logic 14 (1):13.

Add more references