FINITELY GENERATED GROUPS AND FIRST-ORDER LOGIC

DOI10.1112/S0024610704006106zbMath1091.03014OpenAlexW2138252926MaRDI QIDQ5465981

No author found.

Publication date: 23 August 2005

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/s0024610704006106

zbMATH Keywords

first-order theoryfinitely generated group\(\Pi_1^1\)-completenessquasi-finitely axiomatizable group

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Undecidability and degrees of sets of sentences (03D35) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40)

Related Items

Comparing quasi-finitely axiomatizable and prime groups ⋮ R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS ⋮ Describing Groups ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05