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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,856

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.
Borel reductions of profinite actions of SL n.Samuel Coskey - 2010 - Annals of Pure and Applied Logic 161 (10):1270-1279.
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.
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.
Finite automata presentable Abelian groups.André Nies & Pavel Semukhin - 2010 - Annals of Pure and Applied Logic 161 (3):458-467.
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.
Some model theory of Abelian groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
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.
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
66 (#348,123)

6 months
10 (#388,931)

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 - Mathematical Logic Quarterly 22 (1):79-84.
Sentences Preserved between Equivalent Topological Bases.T. A. McKee - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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