Pages that link to "Item:Q300834"
From MaRDI portal
The following pages link to Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834):
Displaying 8 items.
- The broadest necessity (Q1633208) (← links)
- Closed structure (Q2056214) (← links)
- Russell's intensional logic of propositions: A resurrection of logicism? (Q2754607) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION (Q5346690) (← links)
- OPERANDS AND INSTANCES (Q5880426) (← links)
- Grounding generalizations (Q6156206) (← links)
- Grounding and defining identity (Q6645336) (← links)