The following pages link to (Q4003284):
Displaying 9 items.
- Amphi-ZF : axioms for Conway games (Q412064) (← links)
- Neo-Fregeanism: an embarrassment of riches (Q558727) (← links)
- Pointfree expression and calculation: From quantification to temporal logic (Q633283) (← links)
- A combinatorial result related to the consistency of New Foundations (Q638501) (← links)
- Finite sets and natural numbers in intuitionistic TT (Q1374211) (← links)
- Broadening the iterative conception of set (Q1422104) (← links)
- Why is the universe of sets not a set? (Q2054117) (← links)
- Models of intuitionistic TT and NF (Q4842637) (← links)
- The subset relation and 2‐stratified sentences in set theory and class theory (Q6096719) (← links)