Metastability and higher-order computability

DOI10.1007/978-3-319-72056-2_19zbMath1503.03040OpenAlexW2769220096MaRDI QIDQ1709712

Sam Sanders

Publication date: 6 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-72056-2_19

zbMATH Keywords

metastabilitynonstandard analysishigher-order computability

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05) Higher-type and set recursion theory (03D65)

Related Items (4)

Reverse mathematics and parameter-free transfer ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ On the mathematical and foundational significance of the uncountable ⋮ The strength of compactness in computability theory and nonstandard analysis

This page was built for publication: Metastability and higher-order computability