Saul A. Kripke

Available identifiers

zbMath Open kripke.saul-aDBLP80/3448WikidataQ298521 ScholiaQ298521MaRDI QIDQ484183

List of research outcomes

Publication	Date of Publication	Type
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History	2024-12-06	Paper
Wittgenstein, Russell, and Our Concept of the Natural Numbers	2024-02-12	Paper
Correction to: Wittgenstein, Russell, and our Concept of the Natural Numbers	2024-02-12	Paper
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE	2023-05-26	Paper
THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME	2022-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q5100004	2022-08-26	Paper
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History	2021-02-25	Paper
The Collapse of the Hilbert Program: A Variation on the G\"odelian Theme	2021-02-16	Paper
Ungroundedness in Tarskian languages	2019-06-28	Paper
Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics	2019-05-02	Paper
Quantified Modality and Essentialism	2019-02-15	Paper
Quantified Modal Logic and Quine's Critique: Some Further Observations	2019-02-15	Paper
Fregean quantification theory	2014-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4981737	2014-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q5416156	2014-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q4452534	2004-03-01	Paper
Outline of a Theory of Truth	2001-01-08	Paper
Non-standard models of Peano arithmetic	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3659788	1982-01-01	Paper
An extension of a theorem of Gaifman-Hales-Solvay	1967-01-01	Paper
Deduction-preserving "Recursive Isomorphisms" between theories	1967-01-01	Paper
Deduction-preserving “recursive isomorphisms” between theories	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5509675	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5546768	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5339289	1963-01-01	Paper
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi	1963-01-01	Paper
"Flexible" Predicates of Formal Number Theory	1962-01-01	Paper
The Undecidability of Monadic Modal Quantification Theory	1962-01-01	Paper
A completeness theorem in modal logic	1959-01-01	Paper

Research outcomes over time

This page was built for person: Saul A. Kripke