Finite automata presentable Abelian groups

&
Annals of Pure and Applied Logic 161 (3):458-467 (2010)
  Copy   BIBTEX

Abstract

We give new examples of FA presentable torsion-free abelian groups. Namely, for every n2, we construct a rank n indecomposable torsion-free abelian group which has an FA presentation. We also construct an FA presentation of the group in which every nontrivial cyclic subgroup is not FA recognizable

Categories

Keywords

Reprint years

2009

DOI

10.1016/j.apal.2009.07.006

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,951

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

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.
On superstable CSA-groups.Abderezak Ould Houcine - 2008 - Annals of Pure and Applied Logic 154 (1):1-7.
On superstable CSA-groups.Abderezak Houcine - 2008 - Annals of Pure and Applied Logic 154 (1):1-7.
Borel reductions of profinite actions of SL n.Samuel Coskey - 2010 - Annals of Pure and Applied Logic 161 (10):1270-1279.
On the complexity of the classification problem for torsion-free Abelian groups of finite rank.Simon Thomas - 2001 - Bulletin of Symbolic Logic 7 (3):329-344.
From "metabelian q-vector spaces" to new ω-stable groups.Olivier Chapuis - 1996 - Bulletin of Symbolic Logic 2 (1):84-93.
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.
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.
New Degree Spectra of Abelian Groups.Alexander G. Melnikov - 2017 - Notre Dame Journal of Formal Logic 58 (4):507-525.

Analytics

Added to PP
2013-12-22

Downloads
40 (#634,567)

6 months
7 (#634,630)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Automatic models of first order theories.Pavel Semukhin & Frank Stephan - 2013 - Annals of Pure and Applied Logic 164 (9):837-854.

Add more citations

References found in this work

Describing groups.André Nies - 2007 - Bulletin of Symbolic Logic 13 (3):305-339.

Add more references