Pages that link to "Item:Q5346690"
From MaRDI portal
The following pages link to THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION (Q5346690):
Displaying 4 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- THE POTENTIAL IN FREGE’S THEOREM (Q6045102) (← links)
- Explicit abstract objects in predicative settings (Q6623817) (← links)