|
|
The usual model construction for NFU preserves information
– M. Randall Holmes
- 2009
|
|
1
|
Strong Axioms of Infinity in ...
– M. Randall Holmes
|
|
|
semantic
– M. Randall Holmes
- 2012
|
|
1
|
The Mark2 Theorem Prover
– Randall Holmes November, M. Randall Holmes
|
|
2
|
Why sets?
– Andreas Blass, Yuri Gurevich
- 2008
|
|
|
Alternative Set Theories
– M. Randall Holmes
- 2006
|
|
5
|
Types in logic and mathematics before 1940
– Fairouz Kamareddine, Twan Laan, Rob Nederpelt
- 2002
|
|
1
|
Enriched stratified systems for the foundations of category
– Solomon Feferman
|
|
|
THE AXIOM SCHEME OF ACYCLIC COMPREHENSION
– Zuhair Al-johar, M. Randall Holmes, Nathan Bowler
|
|
|
Contents A Revision Theoretic Model for NF
– Mika Oksanen
- 2008
|
|
|
Squibs and Discussions
– Sethood And Situations, T. E. Forster, C. M. Rood, In Situations, Perry Barwise, Perry Decide That
|
|
|
Ambiguous Cardinals ∗
– Marcel Crabbé
|
|
2
|
About the coexistence of classical sets with non-classical ones: a survey’, Logic and Logical Philosophy, this issue
– Roland Hinnion
|
|
|
In
– unknown authors
|
|
|
Symmetric
– Hoang-vu Dang
- 2010
|
|
1
|
Russell's Paradox Of The Totality Of Propositions
– Nino B. Cocchiarella
- 2000
|
|
|
SET THEORY FOR CATEGORY THEORY
– Michael A. Shulman
- 810
|
|
|
Object Oriented Mathematics
– Klaus Grue December, Klaus Grue
|
|
|
Identity of indiscernibles in Quine's "New Foundations" and related theories
– Randall Holmes October, M. Randall Holmes
|
