On the Gödel class with identity

DOI10.2307/2273627zbMath0472.03009OpenAlexW2103815851MaRDI QIDQ3926548

Warren D. Goldfarb

Publication date: 1981

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

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

zbMATH Keywords

quantification theoryprimitive recursive proceduresatisfiable formulas

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25)

Related Items (1)

0-1 laws and decision problems for fragments of second-order logic

Cites Work

• Unnamed Item
• Unnamed Item
• Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten
• Untersuchungen zum Entscheidungsproblem der mathematischen Logik
• Solvable cases of the decision problem
• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
• Zum Entscheidungsproblem des logischen Funktionenkalküls
• Contributions to the reduction theory of the decision problem

This page was built for publication: On the Gödel class with identity