Skolem reduction classes

DOI10.2307/2272272MaRDI QIDQ4063431zbMATH OpenOpenAlexFDO

Authors 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

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

This page was built for publication: Skolem reduction classes

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