Representation of Functions and Total Antisymmetric Relations in Monadic Third Order Logic von Holmes, M. Randall

Volltext

On hereditarily small sets in ZF von Holmes, M. Randall

Volltext

The Urysohn space embeds in Banach spaces in just one way von Randall Holmes, M.

Volltext

Strong axioms of infinity in NFU von Holmes, M. Randall

Volltext

The Usual Model Construction for NFU Preserves Information von Holmes, M. Randall

Volltext

The Watson Theorem Prover von Holmes, M Randall, Alves-foss, Jim

Volltext

The Axiom Scheme of Acyclic Comprehension von Al-Johar, Zuhair, Holmes, M. Randall, Bowler, Nathan

Volltext

Symmetry as a Criterion for Comprehension Motivating Quine's 'New Foundations' von Holmes, M. Randall

Volltext

Subsystems of Quine's ``New Foundations'' with Predicativity Restrictions von Holmes, M. Randall

Volltext

NF is Consistent von Holmes, M Randall, Wilshaw, Sky

Volltext

Mary Tiles. The philosophy of set theory, an historical introduction to Cantor's paradise. Courier Dover Publications, 2004, xiii + 239 pp von Holmes, M. Randall

Volltext

The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more) von Holmes, M. Randall

Volltext

Acyclic Comprehension is equal to Stratified Comprehension von Al-Johar, Zuhair, Holmes, M. Randall

Volltext bestellen

The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory von Holmes, M. Randall

Volltext

Paradoxes in Double Extension Set Theories von Holmes, M. Randall

Volltext

A System of Dependent Types, with an Implementation and a Philosophy von Holmes, M. Randall

Volltext bestellen

Karel Lambert, Free Logic: Selected Essays von Holmes, M. Randall

Volltext

Errata in “Strong axioms of infinity in NFU” von Holmes, M. Randall

Volltext

NF is Consistent von Holmes, M. Randall, Wilshaw, Sky

Volltext bestellen

Acyclic Comprehension is equal to Stratified Comprehension von Al-Johar, Zuhair, Holmes, M Randall

Volltext