| Publication | Date of Publication | Type |
|---|
| Category Theory with Stratified Set Theory | 2019-11-12 | Paper |
Decidable fragments of the simple theory of types with infinity and NF
Notre Dame Journal of Formal Logic | 2017-08-17 | Paper |
Decidable fragments of the simple theory of types with infinity and NF
Notre Dame Journal of Formal Logic | 2017-08-17 | Paper |
| Yablo's paradox as a theorem of modal logic | 2017-07-25 | Paper |
| Mathematical objects arising from equivalence relations and their implementation in Quine's NF | 2017-03-03 | Paper |
A note on freedom from detachment in the logic of paradox
Notre Dame Journal of Formal Logic | 2013-01-30 | Paper |
Alternative Set Theories
Handbook of the History of Logic | 2012-10-12 | Paper |
Yablo's paradox and the omitting types theorem for propositional languages
Logique et Analyse. Nouvelle Série | 2012-08-06 | Paper |
| NF at (nearly) 75 | 2011-12-01 | Paper |
An order-theoretic account of some set-theoretic paradoxes
Notre Dame Journal of Formal Logic | 2011-03-07 | Paper |
THE ITERATIVE CONCEPTION OF SET
The Review of Symbolic Logic | 2010-08-13 | Paper |
Normal subgroups of infinite symmetric groups, with an application to stratified set theory
Journal of Symbolic Logic | 2009-03-25 | Paper |
Sharvy's Lucy and Benjamin puzzle
Studia Logica | 2009-03-17 | Paper |
Erdős-Rado without choice
Journal of Symbolic Logic | 2007-10-17 | Paper |
Relaxing stratification
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2007-09-25 | Paper |
| Implementing mathematical objects in set theory | 2007-09-03 | Paper |
| Deterministic and nondeterministic strategies for Hintikka games in first-order and branching-quantifier logic | 2007-01-03 | Paper |
| The axiom of choice and inference to the best explanation | 2006-10-04 | Paper |
Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF
Journal of Symbolic Logic | 2006-07-05 | Paper |
| scientific article; zbMATH DE number 2236675 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2213632 (Why is no real title available?) | 2005-10-11 | Paper |
| scientific article; zbMATH DE number 2144528 (Why is no real title available?) | 2005-03-14 | Paper |
Finite-to-one maps
Journal of Symbolic Logic | 2005-02-09 | Paper |
Better-quasi-orderings and coinduction
Theoretical Computer Science | 2004-10-27 | Paper |
ZF + “Every set is the same size as a wellfounded set”
Journal of Symbolic Logic | 2004-03-25 | Paper |
| scientific article; zbMATH DE number 2050352 (Why is no real title available?) | 2004-03-03 | Paper |
| scientific article; zbMATH DE number 1984509 (Why is no real title available?) | 2003-09-22 | Paper |
| scientific article; zbMATH DE number 1827833 (Why is no real title available?) | 2003-07-05 | Paper |
| scientific article; zbMATH DE number 1932778 (Why is no real title available?) | 2003-06-23 | Paper |
Quine's NF--60 Years On
The American Mathematical Monthly | 1998-05-29 | Paper |
Letter
Journal Of Logic And Computation | 1994-09-13 | Paper |
A semantic characterization of the well-typed formulae of \(\lambda\)- calculus
Theoretical Computer Science | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 98682 (Why is no real title available?) | 1993-01-17 | Paper |
End-extensions preserving power set
Journal of Symbolic Logic | 1992-06-26 | Paper |
Permutations and stratified formulae a preservation theorem
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
A Consistent Higher-Order Theory Without a (Higher-Order) Model
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3851078 (Why is no real title available?) | 1982-01-01 | Paper |
