Pages that link to "Item:Q300834"

The following pages link to Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834):

Displaying 6 items.

• The broadest necessity (Q1633208) (← links)
• Closed structure (Q2056214) (← 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)