Skolem reduction classes

DOI10.2307/2272272zbMath0306.02043OpenAlexW2075159388MaRDI QIDQ4063431

Harry R. Lewis, Warren D. Goldfarb

Publication date: 1975

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

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Cites Work

• Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten
• Untersuchungen zum Entscheidungsproblem der mathematischen Logik
• Contributions to the reduction theory of the decision problem

This page was built for publication: Skolem reduction classes