Pages that link to "Item:Q450961"
From MaRDI portal
The following pages link to Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961):
Displaying 8 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- On the virtue of categoricity (Q1981999) (← links)
- FRAGMENTS OF FREGE’S<i>GRUNDGESETZE</i>AND GÖDEL’S CONSTRUCTIBLE UNIVERSE (Q3188332) (← links)
- FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) (Q3195590) (← links)
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES (Q3195592) (← links)
- Asymptotic Quasi-completeness and ZFC (Q3305340) (← links)
- THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION (Q5346690) (← links)
- HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE (Q6148470) (← links)
