scientific article; zbMATH DE number 4168942
From MaRDI portal
modelfree grouplength functionpredicateelementary equivalentregular definabilityfree A-operator group
Model-theoretic algebra (03C60) Free nonabelian groups (20E05) Generators, relations, and presentations of groups (20F05) Classical first-order logic (03B10) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Interpolation, preservation, definability (03C40) Applications of logic to group theory (20A15)
Recommendations
Cited In (2)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3496404)