Decidable classes reducing to a one-quantifier class

zbMath0301.02041MaRDI QIDQ1215621

V. P. Orevkov, S. Yu. Maslov

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)

Related Items

Decidability of the Class E by Maslov’s Inverse Method