The following pages link to Saul A. Kripke (Q484183):
Displaying 26 items.
- Fregean quantification theory (Q484184) (← links)
- (Q787135) (redirect page) (← links)
- Non-standard models of Peano arithmetic (Q787136) (← links)
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics (Q1740612) (← links)
- Ungroundedness in Tarskian languages (Q2000676) (← links)
- A completeness theorem in modal logic (Q3265659) (← links)
- (Q3659788) (← links)
- "Flexible" Predicates of Formal Number Theory (Q3845373) (← links)
- The Undecidability of Monadic Modal Quantification Theory (Q3848194) (← links)
- (Q4452534) (← links)
- Outline of a Theory of Truth (Q4523164) (← links)
- Quantified Modality and Essentialism (Q4623320) (← links)
- Quantified Modal Logic and Quine's Critique: Some Further Observations (Q4623321) (← links)
- (Q4981737) (← links)
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)
- (Q5100004) (← links)
- (Q5339289) (← links)
- (Q5416156) (← links)
- (Q5509675) (← links)
- An extension of a theorem of Gaifman-Hales-Solvay (Q5545974) (← links)
- (Q5546768) (← links)
- Deduction-preserving "Recursive Isomorphisms" between theories (Q5561954) (← links)
- Deduction-preserving “recursive isomorphisms” between theories (Q5561955) (← links)
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi (Q5728442) (← links)
- GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE (Q6041351) (← links)
- The Collapse of the Hilbert Program: A Variation on the G\"odelian Theme (Q6360801) (← links)
