On the computational complexity of the theory of Abelian groups

Annals of Pure and Applied Logic 37 (3):205-248 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(88)90020-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

Boolean powers of abelian groups.Katsuya Eda - 1990 - Annals of Pure and Applied Logic 50 (2):109-115.
Locally pure topological abelian groups: elementary invariants.G. Cherlin & P. H. Schmitt - 1983 - Annals of Pure and Applied Logic 24 (1):49-85.
Abelian C-minimal valued groups.F. Delon & P. Simonetta - 2017 - Annals of Pure and Applied Logic 168 (9):1729-1782.
Abelian p-groups and the Halting problem.Rodney Downey, Alexander G. Melnikov & Keng Meng Ng - 2016 - Annals of Pure and Applied Logic 167 (11):1123-1138.
Algebraic description of limit models in classes of abelian groups.Marcos Mazari-Armida - 2020 - Annals of Pure and Applied Logic 171 (1):102723.
Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements.Philip Scowcroft - 2019 - Annals of Pure and Applied Logic 170 (6):673-698.
Erratum to “Free abelian lattice-ordered groups” [Ann. Pure Appl. Logic 134 (2–3) (2005) 265–283].A. M. W. Glass, Angus Macintyre & Françoise Point - 2016 - Annals of Pure and Applied Logic 167 (4):431-433.
Arithmetic of Dedekind cuts of ordered Abelian groups.Antongiulio Fornasiero & Marcello Mamino - 2008 - Annals of Pure and Applied Logic 156 (2):210-244.
On non-abelian C-minimal groups.Patrick Simonetta - 2003 - Annals of Pure and Applied Logic 122 (1-3):263-287.
The computational complexity of module socles.Huishan Wu - 2022 - Annals of Pure and Applied Logic 173 (5):103089.

Analytics

Added to PP
2014-01-16

Downloads
3 (#1,213,485)

6 months
17 (#859,272)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

The elementary theory of abelian groups.Paul C. Eklof - 1972 - Annals of Mathematical Logic 4 (2):115.
On the complexity of the theories of weak direct powers.Charles Rackoff - 1976 - Journal of Symbolic Logic 41 (3):561-573.
Elementary Properties of Abelian Groups.W. Szmielew - 1959 - Journal of Symbolic Logic 24 (1):59-59.

Add more references