Saul A. Kripke

Available identifiers

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

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Saul A. Kripke