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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

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

A model-theoretic proof for P ≠ NP over all infinite Abelian groups.Mihai Prunescu - 2002 - Journal of Symbolic Logic 67 (1):235 - 238.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
A common abstraction of MV-Algebras and Abelian l-groups.Francesco Paoli - 2000 - Studia Logica 65 (3):355-366.
Quasi-endomorphisms in small stable groups.Frank O. Wagner - 1993 - Journal of Symbolic Logic 58 (3):1044-1051.
Actions of groups of finite Morley rank on small abelian groups.Adrien Deloro - 2009 - Bulletin of Symbolic Logic 15 (1):70-90.
Metamathematics of Ulm theory.Harvey Friedman - manuscript
Perfect MV-Algebras Are Categorically Equivalent to Abelian l-Groups.Antonio Di Nola & Ada Lettieri - 1994 - Studia Logica 53 (3):417-432.
Some model theory of Abelian groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.

Analytics

Added to PP
2009-01-28

Downloads
42 (#382,240)

6 months
17 (#154,450)

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