Pages that link to "Item:Q3450810"
From MaRDI portal
The following pages link to TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS (Q3450810):
Displaying 8 items.
- Arithmetical conservation results (Q1688961) (← links)
- Deflationism beyond arithmetic (Q2052155) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- Determinacy separations for class games (Q2312093) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Determinacy in third order arithmetic (Q2404651) (← links)
- Measure theory and higher order arithmetic (Q3450084) (← links)
- A note on equality in finite‐type arithmetic (Q5108108) (← links)
