Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem

DOI10.1080/01445340.2015.1028146zbMath1369.03004OpenAlexW1966004240WikidataQ57680925 ScholiaQ57680925MaRDI QIDQ2963957

Gary Ebbs

Publication date: 22 February 2017

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2015.1028146

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40)

Related Items (3)

INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem ⋮ The Interpretation Existence Lemma

Cites Work

• Nested recursion
• Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion
• Trial and error predicates and the solution to a problem of Mostowski
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem