scientific article
From MaRDI portal
Publication:3693683
zbMath0574.20001MaRDI QIDQ3693683
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (2)
Regular Patterns in Second-Order Unification ⋮ On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups
This page was built for publication:
