Pages that link to "Item:Q1073004"
From MaRDI portal
The following pages link to Harvey Friedman's research on the foundations of mathematics (Q1073004):
Displaying 3 items.
- Proof lengths for instances of the Paris-Harrington principle (Q526964) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
