Pages that link to "Item:Q1709712"
From MaRDI portal
The following pages link to Metastability and higher-order computability (Q1709712):
Displaying 9 items.
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- Notions of Cauchyness and metastability (Q1709697) (← links)
- Rates of metastability for iterations on the unit interval (Q2033176) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Nonstandard convergence gives bounds on jumps (Q2329071) (← links)
- Ultraproducts and metastability (Q2439656) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- On the extraction of computational content from noneffective convergence proofs in analysis (Q6486807) (← links)