scientific article; zbMATH DE number 3460261

MaRDI QIDQ4046036zbMATH OpenFDO

Authors Yuri Gurevich

Publication date 1965

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model-theoretic algebra (03C60) Recursively (computably) enumerable sets and degrees (03D25) Partial orders, general (06A06) Structure theory of lattices (06B05) Applications of logic to commutative algebra (13L05) Metamathematical considerations in group theory (20A10)

Cited in

(4)

• Solvable classes of pseudoprenex formulas
• A prevariety of semigroups whose elementary theory is solvable
• Succinct definitions in the first order theory of graphs
• Critical theories of some classes of graphs and unary algebras

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