Pages that link to "Item:Q5274882"
From MaRDI portal
The following pages link to THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882):
Displaying 5 items.
- Predicativity and constructive mathematics (Q2080590) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- STRICT FINITISM, FEASIBILITY, AND THE SORITES (Q4577997) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Number theory and infinity without mathematics (Q6623811) (← links)
