Pages that link to "Item:Q2404651"
From MaRDI portal
The following pages link to Determinacy in third order arithmetic (Q2404651):
Displaying 5 items.
- 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)
- Third-Order Computation and Bounded Arithmetic (Q5441127) (← links)