Negative solution of the decision problem for sentences true in every subalgebra of 〈N, +〉

DOI10.2307/2272464zbMath0248.02052OpenAlexW2112856348MaRDI QIDQ5661870

Ralph McKenzie

Publication date: 1972

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272464

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Other classical first-order model theory (03C68)

Related Items

Lattice-theoretic decision problems in universal algebra, A prevariety of semigroups whose elementary theory is solvable

Cites Work

• On the decision problem for theories of finite models