scientific article
From MaRDI portal
Publication:4046036
zbMath0294.02023MaRDI QIDQ4046036
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Partial orders, general (06A06) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Structure theory of lattices (06B05) Applications of logic to commutative algebra (13L05) Recursively (computably) enumerable sets and degrees (03D25) Metamathematical considerations in group theory (20A10)
Related Items (4)
Succinct definitions in the first order theory of graphs ⋮ Critical theories of some classes of graphs and unary algebras ⋮ Solvable classes of pseudoprenex formulas ⋮ A prevariety of semigroups whose elementary theory is solvable
This page was built for publication:
