On the Gödel class with identity

DOI10.2307/2273627MaRDI QIDQ3926548zbMATH OpenOpenAlexFDO

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

primitive recursive procedurequantification theorysatisfiable formulas

Mathematics Subject Classification ID

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

Cites work

• Contributions to the reduction theory of the decision problem
• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
• scientific article; zbMATH DE number 3657754 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• Solvable cases 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
• Zum Entscheidungsproblem des logischen Funktionenkalküls

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)