On the Gödel class with identity

DOI10.2307/2273627zbMATH Open0472.03009OpenAlexW2103815851MaRDI QIDQ3926548FDOQ3926548

Authors: 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

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

Cites Work

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

Cited In (1)

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

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

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