On the undecidability of some classes of abelian-by-finite groups

, &
Annals of Pure and Applied Logic 62 (2):167-173 (1993)
  Copy   BIBTEX

Abstract

Let G be a finite group. For every formula ø in the language of groups, let K denote the class of groups H such that ø is a normal abelian subgroup of H and the quotient group H;ø is isomorphic to G. We show that if G is nilpotent and its order is not square-free, then there exists a formula ø such that the theory of K is undecidable

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(93)90172-a

Links

PhilArchive



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

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

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 elementarity of some classes of Abelian-by-infinite groups.Annalisa Marcja & Carlo Toffalori - 1999 - Studia Logica 62 (2):201-213.
Classification theory for abelian groups with an endomorphism.Annalisa Marcja, Mike Prest & Carlo Toffalori - 1991 - Archive for Mathematical Logic 31 (2):95-104.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Axiomatization of abelian-by- G groups for a finite group G.Francis Oger - 2001 - Archive for Mathematical Logic 40 (7):515-521.
Undecidable lt theories of topological Abelian groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
On Preservation of Stability for Finite Extensions of Abelian Groups.Frieder Haug - 1994 - Mathematical Logic Quarterly 40 (1):14-26.
Actions of groups of finite Morley rank on small abelian groups.Adrien Deloro - 2009 - Bulletin of Symbolic Logic 15 (1):70-90.
Quasi-endomorphisms in small stable groups.Frank O. Wagner - 1993 - Journal of Symbolic Logic 58 (3):1044-1051.
The Isomorphism Problem for Computable Abelian p-Groups of Bounded Length.Wesley Calvert - 2005 - Journal of Symbolic Logic 70 (1):331 - 345.
The class of groups which have a subgroup of index 2 is not elementary.Thierry Coulbois - 2001 - Archive for Mathematical Logic 40 (7):523-524.
Perfect MV-Algebras Are Categorically Equivalent to Abelian l-Groups.Antonio Di Nola & Ada Lettieri - 1994 - Studia Logica 53 (3):417-432.
Externally compatible Abelian groups of the type (2,1,0).Krystyna Mruczek-Nasieniewska - 2006 - Logic and Logical Philosophy 15 (3):239-250.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.

Analytics

Added to PP
2014-01-16

Downloads
8 (#1,243,760)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An undecidability theorem for lattices over group rings.Carlo Toffalori - 1997 - Annals of Pure and Applied Logic 88 (2-3):241-262.

Add more citations

References found in this work

No references found.

Add more references