scientific article; zbMATH DE number 130848

MaRDI QIDQ4029321zbMATH OpenFDO

Authors V. G. Durnev

Publication date 28 March 1993

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Metamathematical considerations in group theory (20A10) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Cited in

(3)

• Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two
• DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
• scientific article; zbMATH DE number 665291 (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 Q4029321)