Decidable classes reducing to a one-quantifier class

MaRDI QIDQ1215621zbMATH OpenFDO

Authors S. Yu. Maslov, V. P. Orevkov

Publication date 1972

Published in Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

Cited in

(1)

• Decidability of the class E by Maslov's inverse method

This page was built for publication: Decidable classes reducing to a one-quantifier class

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1215621)