Intuitionistic Free Abelian Groups

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):3-12 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340102

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

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

Intuitionistic Free Abelian Groups.D. van Dalen & F. J. De Vries - 1988 - Mathematical Logic Quarterly 34 (1):3-12.
Decidability and Computability of Certain Torsion-Free Abelian Groups.Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov & Daniel Turetsky - 2010 - Notre Dame Journal of Formal Logic 51 (1):85-96.
Undecidable lt theories of topological Abelian groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
Finite automata presentable Abelian groups.André Nies & Pavel Semukhin - 2010 - Annals of Pure and Applied Logic 161 (3):458-467.
Almost free groups and long Ehrenfeucht–Fraı̈ssé games.Pauli Väisänen - 2003 - Annals of Pure and Applied Logic 123 (1-3):101-134.
On Preservation of Stability for Finite Extensions of Abelian Groups.Frieder Haug - 1994 - Mathematical Logic Quarterly 40 (1):14-26.
Almost free groups and Ehrenfeucht–Fraı̈ssé games for successors of singular cardinals.Saharon Shelah & Pauli Väisänen - 2002 - Annals of Pure and Applied Logic 118 (1-2):147-173.
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.
Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View.Annalisa Marcja & Carlo Toffalori - 1994 - Mathematical Logic Quarterly 40 (1):125-131.
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.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Effective categoricity of Abelian p -groups.Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov & Andrei Morozov - 2009 - Annals of Pure and Applied Logic 159 (1-2):187-197.
Free abelian lattice-ordered groups.A. M. W. Glass, Angus Macintyre & Françoise Point - 2005 - Annals of Pure and Applied Logic 134 (2-3):265-283.
The additive group of the rationals does not have an automatic presentation.Todor Tsankov - 2011 - Journal of Symbolic Logic 76 (4):1341-1351.
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.

Analytics

Added to PP
2015-12-02

Downloads
27 (#588,051)

6 months
2 (#1,192,898)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dirk Van Dalen
Utrecht University

Citations of this work

The continuum and first-order intuitionistic logic.D. van Dalen - 1992 - Journal of Symbolic Logic 57 (4):1417-1424.

Add more citations

References found in this work

Logic and structure.D. van Dalen - 1980 - New York: Springer Verlag.
Logic and Structure.Melvin Fitting - 1986 - Journal of Symbolic Logic 51 (3):826-827.

Add more references