Pages that link to "Item:Q2404651"
From MaRDI portal
The following pages link to Determinacy in third order arithmetic (Q2404651):
Displaying 4 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)