Computable Abelian groups

Bulletin of Symbolic Logic 20 (3):315-356, (2014)
  Copy   BIBTEX

Abstract

We provide an introduction to methods and recent results on infinitely generated abelian groups with decidable word problem

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,509

External links

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

Through your library

Similar books and articles

The Model Theory of Finitely Generated Finite-by-Abelian Groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Space Complexity of Abelian Groups.Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel & Zia Uddin - 2009 - Archive for Mathematical Logic 48 (1):115-140.
Some Model Theory of Abelian Groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
$$\pi^0_1$$ -Presentations of Algebras.Bakhadyr Khoussainov, Theodore Slaman & Pavel Semukhin - 2006 - Archive for Mathematical Logic 45 (6):769-781.
Axiomatization of Abelian-by- G Groups for a Finite Group G.Francis Oger - 2001 - Archive for Mathematical Logic 40 (7):515-521.
Existential Equivalence of Ordered Abelian Groups with Parameters.V. Weispfenning - 1990 - Archive for Mathematical Logic 29 (4):237-248.
P-Compatible Abelian Groups.Krystyna Mruczek-Nasieniewska - 2005 - Logic and Logical Philosophy 14 (2):253-263.

Analytics

Added to PP
2014-12-05

Downloads
13 (#760,206)

6 months
1 (#417,896)

Historical graph of downloads
How can I increase my downloads?