Pages that link to "Item:Q1709712"
From MaRDI portal
The following pages link to Metastability and higher-order computability (Q1709712):
Displayed 4 items.
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)