| Publication | Date of Publication | Type |
|---|
Synonymy questions concerning the Quine systems
The Journal of Symbolic Logic | 2026-02-12 | Paper |
| Acyclic Comprehension is equal to Stratified Comprehension | 2020-10-07 | Paper |
Representation of functions and total antisymmetric relations in monadic third order logic
Journal of Philosophical Logic | 2019-06-17 | Paper |
| A System of Dependent Types, with an Implementation and a Philosophy | 2016-07-06 | Paper |
| NF is Consistent | 2015-03-04 | Paper |
On hereditarily small sets in ZF
Mathematical Logic Quarterly | 2014-06-06 | Paper |
The axiom scheme of acyclic comprehension
Notre Dame Journal of Formal Logic | 2014-04-04 | Paper |
The axiom scheme of acyclic comprehension
Notre Dame Journal of Formal Logic | 2014-04-04 | Paper |
Polymorphic type-checking for the ramified theory of types of \textit{Principia mathematica}
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
The usual model construction for NFU preserves information
Notre Dame Journal of Formal Logic | 2012-11-29 | Paper |
Alternative Set Theories
Handbook of the History of Logic | 2012-10-12 | Paper |
The Urysohn space embeds in Banach spaces in just one way
Topology and its Applications | 2008-08-06 | Paper |
Symmetry as a criterion for comprehension motivating Quine's `New Foundations'
Studia Logica | 2008-04-23 | Paper |
The structure of the ordinals and the interpretation of ZF in double extension set theory
Studia Logica | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 2185664 (Why is no real title available?) | 2005-07-04 | Paper |
| scientific article; zbMATH DE number 2154397 (Why is no real title available?) | 2005-04-09 | Paper |
Paradoxes in double extension set theories
Studia Logica | 2004-08-16 | Paper |
| scientific article; zbMATH DE number 1984527 (Why is no real title available?) | 2003-09-22 | Paper |
| scientific article; zbMATH DE number 1827832 (Why is no real title available?) | 2003-07-02 | Paper |
Foundations of mathematics in polymorphic type theory
Topoi | 2002-09-16 | Paper |
Strong axioms of infinity in NFU
The Journal of Symbolic Logic | 2002-03-19 | Paper |
| scientific article; zbMATH DE number 1670749 (Why is no real title available?) | 2001-11-11 | Paper |
Subsystems of Quine's ``New Foundations'' with predicativity restrictions
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
The equivalence of NF-style set theories with “tangled” type theories; the construction of <i>ω</i>-models of predicative NF (and more)
Journal of Symbolic Logic | 1995-08-27 | Paper |
| scientific article; zbMATH DE number 559185 (Why is no real title available?) | 1995-01-24 | Paper |
Systems of combinatory logic related to predicative and ``mildly impredicative'' fragments of Quine's ``New Foundations''
Annals of Pure and Applied Logic | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 96091 (Why is no real title available?) | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 96091 (Why is no real title available?) | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 57756 (Why is no real title available?) | 1992-09-27 | Paper |
Systems of combinatory logic related to Quine's `New Foundations'
Annals of Pure and Applied Logic | 1991-01-01 | Paper |
