Pages that link to "Item:Q5221861"
From MaRDI portal
The following pages link to Hilbert’s Programme and Ordinal Analysis (Q5221861):
Displaying 5 items.
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- Hilbert's iterativistic tendencies (Q3481661) (← links)
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM (Q4632541) (← links)
- Iterated Inductive Definitions Revisited (Q5214787) (← links)