On the computational complexity of the theory of Abelian groups

Annals of Pure and Applied Logic 37 (3):205-248 (1988)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(88)90020-6
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 32,688
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
On the Complexity of the Theories of Weak Direct Powers.Charles Rackoff - 1976 - Journal of Symbolic Logic 41 (3):561-573.
The Elementary Theory of Abelian Groups.Paul C. Eklof & Edward R. Fischer - 1972 - Annals of Mathematical Logic 4 (2):115-171.
Elementary Properties of Abelian Groups.W. Szmielew - 1959 - Journal of Symbolic Logic 24 (1):59-59.
The Elementary Theory of Abelian Groups.Paul C. Eklof - 1972 - Annals of Pure and Applied Logic 4 (2):115.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Space Complexity of Abelian Groups.Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel & Zia Uddin - 2009 - Archive for Mathematical Logic 48 (1):115-140.
The Model Theory of Finitely Generated Finite-by-Abelian Groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Some Model Theory of Abelian Groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.Philip Scowcroft - 2007 - Notre Dame Journal of Formal Logic 48 (4):521-550.
Axiomatization of Abelian-by-G Groups for a Finite Group G.Francis Oger - 2001 - Archive for Mathematical Logic 40 (7):515-521.
P-Compatible Abelian Groups.Krystyna Mruczek-Nasieniewska - 2005 - Logic and Logical Philosophy 14 (2):253-263.
Elementary Equivalence for Abelian-by-Finite and Nilpotent Groups.Francis Oger - 2001 - Journal of Symbolic Logic 66 (3):1471-1480.
Existential Equivalence of Ordered Abelian Groups with Parameters.V. Weispfenning - 1990 - Archive for Mathematical Logic 29 (4):237-248.
Added to PP index
2014-01-16

Total downloads
0

Recent downloads (6 months)
0

How can I increase my downloads?

Monthly downloads

Sorry, there are not enough data points to plot this chart.
My notes
Sign in to use this feature