The following pages link to Saul A. Kripke (Q484183):
Displaying 14 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)
- Quantified Modality and Essentialism (Q4623320) (← links)
- Quantified Modal Logic and Quine's Critique: Some Further Observations (Q4623321) (← links)
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)
- An extension of a theorem of Gaifman-Hales-Solvay (Q5545974) (← links)
- Deduction-preserving "Recursive Isomorphisms" between theories (Q5561954) (← 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)
