The τ-theory for free groups is undecidable

DOI10.2307/2273462zbMath0527.03021OpenAlexW2002435337MaRDI QIDQ3043127

Libo Lo

Publication date: 1983

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273462

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Related Items (1)

Admissible sets in group theory

Cites Work

• Unnamed Item
• An inductive theory for free products of groups
• Talking about free groups in naturally enriched languages

This page was built for publication: The τ-theory for free groups is undecidable