| Publication | Date of Publication | Type |
|---|
Saul Kripke (1940--2022)
The Bulletin of Symbolic Logic | 2025-01-24 | Paper |
Measurable selections: a bridge between large cardinals and scientific applications?
Philosophia Mathematica | 2022-04-04 | Paper |
| Set Theory | 2022-01-12 | Paper |
| Rigor and Structure | 2020-05-13 | Paper |
Putnam on foundations: models, modals, muddles
Outstanding Contributions to Logic | 2020-02-05 | Paper |
Modal logic in the modal sense of modality
Logic Without Borders | 2020-02-03 | Paper |
Book review of: I. Hacking, Why is there philosophy of mathematics at all?
Notices of the American Mathematical Society | 2016-06-15 | Paper |
| Friedman and the axiomatization of Kripke's theory of truth | 2016-01-27 | Paper |
| Intuitions of three kinds in Gödel's views on the continuum | 2016-01-27 | Paper |
| Rigor and structure | 2015-01-19 | Paper |
On a derivation of the necessity of identity
Synthese | 2015-01-08 | Paper |
Axioms of infinity as the starting point for rigorous mathematics.
Annals of the Japan Association for Philosophy of Science | 2013-11-18 | Paper |
Book review: Volker Halbach, Axiomatic theories of truth
Studia Logica | 2013-06-27 | Paper |
| Philosophical logic | 2011-09-06 | Paper |
Two undecidable questions about group actions
Sankhyā. Series A | 2011-04-08 | Paper |
| scientific article; zbMATH DE number 5874479 (Why is no real title available?) | 2011-04-05 | Paper |
| On the outside looking in: a caution about conservativeness | 2011-03-02 | Paper |
Axiomatizing the logic of comparative probability
Notre Dame Journal of Formal Logic | 2010-06-11 | Paper |
Protocol Sentences for Lite Logicism
Synthese Library | 2009-03-12 | Paper |
| scientific article; zbMATH DE number 5527835 (Why is no real title available?) | 2009-03-11 | Paper |
| Computability and Logic | 2008-09-12 | Paper |
| scientific article; zbMATH DE number 2212008 (Why is no real title available?) | 2005-10-05 | Paper |
A remark on Henkin sentences and their contraries
Notre Dame Journal of Formal Logic | 2005-07-13 | Paper |
Mathematics and Bleak House
Philosophia Mathematica | 2005-04-22 | Paper |
Mathematics and Bleak House
Philosophia Mathematica | 2004-06-22 | Paper |
| scientific article; zbMATH DE number 2076261 (Why is no real title available?) | 2004-06-18 | Paper |
| scientific article; zbMATH DE number 1749188 (Why is no real title available?) | 2003-12-01 | Paper |
| scientific article; zbMATH DE number 1984525 (Why is no real title available?) | 2003-09-22 | Paper |
| scientific article; zbMATH DE number 1805574 (Why is no real title available?) | 2002-09-24 | Paper |
Which modal logic is the right one?
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
Predicative logic and formal arithmetic
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
On a consistent subsystem of Frege's Grundgesetze
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
| scientific article; zbMATH DE number 1254484 (Why is no real title available?) | 1999-09-09 | Paper |
| scientific article; zbMATH DE number 1195913 (Why is no real title available?) | 1998-09-02 | Paper |
| scientific article; zbMATH DE number 1028831 (Why is no real title available?) | 1997-07-08 | Paper |
| scientific article; zbMATH DE number 957946 (Why is no real title available?) | 1996-12-15 | Paper |
| scientific article; zbMATH DE number 733395 (Why is no real title available?) | 1995-11-28 | Paper |
Hintikka et Sandu versus Frege in re Arbitrary Functions
Philosophia Mathematica | 1994-01-06 | Paper |
| Nonexistence of Measurable Optimal Selections | 1993-03-01 | Paper |
Synthetic mechanics revisited
Journal of Philosophical Logic | 1991-01-01 | Paper |
Addendum to “The truth is never simple”
Journal of Symbolic Logic | 1988-01-01 | Paper |
The truth is never simple
Journal of Symbolic Logic | 1986-01-01 | Paper |
The decision problem for linear temporal logic
Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
From preference to utility: A problem of descriptive set theory
Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
Synthetic mechanics
Journal of Philosophical Logic | 1984-01-01 | Paper |
Read on relevance: A rejoinder
Notre Dame Journal of Formal Logic | 1984-01-01 | Paper |
Dummett's case for intuitionism
History and Philosophy of Logic | 1984-01-01 | Paper |
Why I am not a nominalist
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
Common sense and relevance
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
Classical hierarchies from a modern standpoint. Part I. C-sets
Fundamenta Mathematicae | 1983-01-01 | Paper |
Classical hierarchies from a modern standpoint. Part II. R-sets
Fundamenta Mathematicae | 1983-01-01 | Paper |
Classical hierarchies form a modern standpoint. Part III. BP-sets
Fundamenta Mathematicae | 1983-01-01 | Paper |
Axioms for tense logic. I: 'Since' and 'until'
Notre Dame Journal of Formal Logic | 1982-01-01 | Paper |
Axioms for tense logic. II: Time periods
Notre Dame Journal of Formal Logic | 1982-01-01 | Paper |
Quick completeness proofs for some logics of conditionals
Notre Dame Journal of Formal Logic | 1981-01-01 | Paper |
Conditional distributions and orthogonal measures
The Annals of Probability | 1981-01-01 | Paper |
The completeness of intuitionistic propositional calculus for its intended interpretation
Notre Dame Journal of Formal Logic | 1981-01-01 | Paper |
Careful choices: A last word on Borel selectors
Notre Dame Journal of Formal Logic | 1981-01-01 | Paper |
Relevance: A fallacy?
Notre Dame Journal of Formal Logic | 1981-01-01 | Paper |
Decidability for branching time
Studia Logica | 1980-01-01 | Paper |
Brouwer and Souslin on Transfinite Cardinals
Mathematical Logic Quarterly | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3699232 (Why is no real title available?) | 1980-01-01 | Paper |
A measurable selection theorem
Fundamenta Mathematicae | 1980-01-01 | Paper |
Logic and time
Journal of Symbolic Logic | 1979-01-01 | Paper |
A selection theorem for group actions
Pacific Journal of Mathematics | 1979-01-01 | Paper |
A reflection phenomenon in descriptive set theory
Fundamenta Mathematicae | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3587041 (Why is no real title available?) | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3591034 (Why is no real title available?)
Indiana University Mathematics Journal | 1979-01-01 | Paper |
The unreal future
Theoria | 1978-01-01 | Paper |
Consistency proofs in model theory: A contribution to Jensenlehre
Annals of Mathematical Logic | 1978-01-01 | Paper |
| Equivalences Generated by Families of Borel Sets | 1978-01-01 | Paper |
On the Hanf number of Souslin logic
Journal of Symbolic Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3634238 (Why is no real title available?) | 1977-01-01 | Paper |
A selector principle for \(\Sigma^1_1\) equivalence relations
Michigan Mathematical Journal | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3663996 (Why is no real title available?) | 1977-01-01 | Paper |
Probability logic
Journal of Symbolic Logic | 1969-01-01 | Paper |
