The following pages link to (Q4003284):
Displaying 14 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)
- Set theory with and without urelements and categories of interpretations (Q2505133) (← links)
- (Q3320365) (← links)
- Models of intuitionistic TT and NF (Q4842637) (← links)
- (Q4944918) (← links)
- (Q4956001) (← links)
- (Q5283809) (← links)
- The subset relation and 2‐stratified sentences in set theory and class theory (Q6096719) (← links)