scientific article; zbMATH DE number 13301

MaRDI QIDQ3977893zbMATH OpenFDO

Authors V. G. Durnev

Publication date 25 June 1992

zbMATH Keywords

free groupspositive \(\forall\exists\)- formulapositive theoriesvariety

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of logic to group theory (20A15) Free nonabelian groups (20E05) Quasivarieties and varieties of groups (20E10) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Recommendations

• Tarski's problem for varieties of groups with a commutator identity
• Tarski’s problem about the elementary theory of free groups has a positive solution
• Tarski's Problem for Solvable Groups
• Elementary theory of free non-abelian groups.
• scientific article; zbMATH DE number 495561

Cited in

(9)

• The problem of freeness for Euler monoids and Möbius groups
• Tarski-type problems for free associative algebras
• On formulas, true in periodic and finite groups.
• A Problem of Stallings on the Direct Square of a Free Group
• On the existence of non-negative bases in subgroups of free groups of Schreier varieties
• Tarski's problem for varieties of groups with a commutator identity
• Tarski’s problem about the elementary theory of free groups has a positive solution
• Tarski's Problem for Solvable Groups
• scientific article; zbMATH DE number 7120897 (Why is no real title available?)

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 Q3977893)