The following pages link to (Q5694961):
Displaying 9 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Sets and supersets (Q513990) (← links)
- Descending chains and the contextualist approach to semantic paradoxes (Q1347610) (← links)
- Naive infinitism: the case for an inconsistency approach to infinite collections (Q2345398) (← links)
- Natural deduction for modal logic with a backtracking operator (Q2516578) (← links)
- Paradox, ZF, and the Axiom of Foundation (Q2909755) (← links)
- LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY (Q5037521) (← links)
- Putnam on Mathematics as Modal Logic (Q5214685) (← links)
- The Search for New Axioms in the Hyperuniverse Programme (Q5896080) (← links)
