scientific article; zbMATH DE number 818365
zbMath0837.20001MaRDI QIDQ4855717
Anthony M. Gaglione, Dennis Spellman
Publication date: 24 March 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
universal theoryparafree groupsnon-Abelian free groupsfirst order languages3-free modelsfinitely presented modelsresidually free models
Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Classical first-order logic (03B10) Free nonabelian groups (20E05) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Residual properties and generalizations; residually finite groups (20E26) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items (2)
This page was built for publication: