The following pages link to M. Randall Holmes (Q190346):
Displaying 24 items.
- The usual model construction for NFU preserves information (Q691132) (← links)
- Systems of combinatory logic related to Quine's `New Foundations' (Q809994) (← links)
- The Urysohn space embeds in Banach spaces in just one way (Q935251) (← links)
- Systems of combinatory logic related to predicative and ``mildly impredicative'' fragments of Quine's ``New Foundations'' (Q1208084) (← links)
- Paradoxes in double extension set theories (Q1876089) (← links)
- Representation of functions and total antisymmetric relations in monadic third order logic (Q2421520) (← links)
- Symmetry as a criterion for comprehension motivating Quine's `New Foundations' (Q2426734) (← links)
- The axiom scheme of acyclic comprehension (Q2443116) (← links)
- The structure of the ordinals and the interpretation of ZF in double extension set theory (Q2574886) (← links)
- Strong axioms of infinity in NFU (Q2732269) (← links)
- (Q2754050) (← links)
- (Q3024838) (← links)
- Alternative Set Theories (Q3166617) (← links)
- (Q4004707) (← links)
- (Q4020553) (← links)
- (Q4289237) (← links)
- (Q4428892) (← links)
- (Q4664923) (← links)
- (Q4781606) (← links)
- The equivalence of NF-style set theories with “tangled” type theories; the construction of <i>ω</i>-models of predicative NF (and more) (Q4836049) (← links)
- Polymorphic type-checking for the ramified theory of types of Principia Mathematica (Q4924550) (← links)
- On hereditarily small sets in ZF (Q5419213) (← links)
- Subsystems of Quine's ``New Foundations'' with predicativity restrictions (Q5937851) (← links)
- Foundations of mathematics in polymorphic type theory (Q5950500) (← links)
