The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis
From MaRDI portal
Publication:4608444
DOI10.3233/COM-170074zbMath1436.03238arXiv1502.03622MaRDI QIDQ4608444
Publication date: 16 March 2018
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1502.03622
Related Items
COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS, On the mathematical and foundational significance of the uncountable, Reverse mathematics and parameter-free transfer, To be or not to be constructive, that is not the question, Pincherle's theorem in reverse mathematics and computability theory, The strength of compactness in computability theory and nonstandard analysis