Separating Classes of Groups by First-Order Sentences

DOI10.1142/S0218196703001286MaRDI QIDQ3043615zbMATH OpenOpenAlexFDO

Authors André Nies

Publication date 6 August 2004

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0218196703001286

zbMATH Keywords

classes of groupsfinitely generated groupsfinitely presented groupsfirst-order logicprime modelsquasi finitely axiomatizable groupsword problem

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Recursively (computably) enumerable sets and degrees (03D25) Axiomatics and elementary properties of groups (20A05) Applications of logic to group theory (20A15) Quasivarieties and varieties of groups (20E10) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Recommendations

• FINITELY GENERATED GROUPS AND FIRST-ORDER LOGIC
• scientific article; zbMATH DE number 3928977
• On the undecidability of some classes of abelian-by-finite groups
• First-order recognizability in finite and pseudofinite groups
• Describing finite groups by short first-order sentences

Cites work

• Commutators of Certain Finitely Generated Soluble Groups
• scientific article; zbMATH DE number 3412857 (Why is no real title available?)
• On a correspondence between rings and groups
• Undecidable fragments of elementary theories

Cited in

(29)

• Separating systems of conjunctions.
• Admissible sets in group theory
• Elementary equivalence of rings with finitely generated additive groups
• Aspects of free groups.
• Finitely generated groups are universal among finitely generated structures
• First-order rigidity of rings satisfying polynomial identities
• On the direct products of quasi-finitely axiomatizable groups.
• First order rigidity of non-uniform higher rank arithmetic groups
• Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
• R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
• Interprétation de l'arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle
• 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
• Describing Groups
• scientific article; zbMATH DE number 3928977 (Why is no real title available?)
• scientific article; zbMATH DE number 3948587 (Why is no real title available?)
• scientific article; zbMATH DE number 88867 (Why is no real title available?)
• Polycyclic-by-finite groups and first-order sentences
• 4 Rich groups, weak second-order logic, and applications
• Finite axiomatizability for profinite groups
• Comparing quasi-finitely axiomatizable and prime groups
• FINITELY GENERATED GROUPS AND FIRST-ORDER LOGIC
• Quasi-finitely axiomatizable nilpotent groups
• Quasi-finitely axiomatizable groups and groups which are prime models
• Regular bi-interpretability of Chevalley groups over local rings
• Defining \(R\) and \(G(R)\)
• Bounded generation and commutator width of Chevalley groups: function case
• On the model theory of higher rank arithmetic groups
• Defining algorithmically presented structures in first order logic

This page was built for publication: Separating Classes of Groups by First-Order Sentences

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