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

DOI10.1016/0168-0072(93)90172-AzbMATH Open0784.03011OpenAlexW1976123297WikidataQ127176516 ScholiaQ127176516MaRDI QIDQ688804FDOQ688804

Authors: Annalisa Marcja, Carlo Toffalori, Mike Prest 

Publication date: 30 November 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(93)90172-a

Recommendations

• Publication:4952569
• Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View
• scientific article; zbMATH DE number 702024
• Decidability for modules over a group ring
• Publication:4952570

zbMATH Keywords

undecidabilityAbelian-by-finite groupsfinite nilpotent group

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Nilpotent groups (20F18)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Totally categorical groups and rings
• Modules over Dedekind-like rings
• \({\mathbb{Z}}G_ n\)-modules, \(G_ n\) cyclic of square-free order n
• Title not available (Why is that?)
• The Stability Classification for Abelian-by-Finite Groups and Modules Over a Group Ring
• Decidability for modules over a group ring

Cited In (14)

• UNDECIDABILITY AND THE DEVELOPABILITY OF PERMUTOIDS AND RIGID PSEUDOGROUPS
• Decidability and computability of certain torsion-free abelian groups
• The torsion‐free part of the Ziegler spectrum of orders over Dedekind domains
• Potential Divisibility in Finite Semigroups is Undecidable
• Title not available (Why is that?)
• Unitriangular groups and undecidability
• Decidability for modules over a group ring - II
• Decidability and modules over Bézout domains
• Undecidable theories of valuated abelian groups
• Title not available (Why is that?)
• On the Universal Theory of Torsion and Lacunary Hyperbolic Groups
• Separating Classes of Groups by First-Order Sentences
• The theory of square-like abelian groups is decidable
• An undecidability theorem for lattices over group rings

This page was built for publication: On the undecidability of some classes of abelian-by-finite groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688804)