Publication:4855717
From MaRDI portal
zbMath0837.20001MaRDI QIDQ4855717
Anthony M. Gaglione, Dennis Spellman
Publication date: 24 March 1996
universal theory; parafree groups; non-Abelian free groups; first order languages; 3-free models; finitely presented models; residually free models
20A15: Applications of logic to group theory
03C60: Model-theoretic algebra
03B10: Classical first-order logic
20E05: Free nonabelian groups
20E06: Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations
20E26: Residual properties and generalizations; residually finite groups
03B30: Foundations of classical theories (including reverse mathematics)
Related Items
Generalizations of free groups: some questions, A classification of fully residually free groups of rank three or less