An inductive theory for free products of groups

DOI10.1007/BF02488014zbMath0412.20003OpenAlexW1973412170MaRDI QIDQ1260169

Verena Huber-Dyson

Publication date: 1979

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02488014

zbMATH Keywords

elementary equivalencefirst order theoryinductive theoryfree products of groupsnon-commutative free groupsTarski conjectures

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Quasivarieties and varieties of groups (20E10) Metamathematical considerations in group theory (20A10)

Related Items (2)

The τ-theory for free groups is undecidable ⋮ Model-theoretic and algorithmic questions in group theory

Cites Work

• On the decision problem for theories of finite models
• Talking about free groups in naturally enriched languages

This page was built for publication: An inductive theory for free products of groups