Pages that link to "Item:Q1312709"
From MaRDI portal
The following pages link to Reverse mathematics and its meaning (Q1312709):
Displaying 10 items.
- Inductive inference and reverse mathematics (Q324252) (← links)
- Harvey Friedman's research on the foundations of mathematics (Q1073004) (← links)
- Reverse-engineering reverse mathematics (Q1944329) (← links)
- The modal logic of reverse mathematics (Q2339962) (← links)
- Reverse mathematics and Isbell's zig-zag theorem (Q2922498) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- Partial realizations of Hilbert's program (Q3799998) (← links)
- Reverse Mathematics and Π<sup>1</sup><sub>2</sub> Comprehension (Q5472644) (← links)