Publication:3693683
From MaRDI portal
zbMath0574.20001MaRDI QIDQ3693683
Publication date: 1985
decidabilityequationuniversal theoryelementary theory of a free grouppositive theory of a free group
Model-theoretic algebra (03C60) Free nonabelian groups (20E05) Axiomatics and elementary properties of groups (20A05) Basic properties of first-order languages and structures (03C07) Metamathematical considerations in group theory (20A10)
Related Items
Regular Patterns in Second-Order Unification, On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups