DOI10.3233/COM-170074zbMath1436.03238arXiv1502.03622MaRDI QIDQ4608444
Sam Sanders
Publication date: 16 March 2018 Published in: Computability (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/1502.03622
zbMATH Keywords
nonstandard analysis; higher-order computability theory; Gandy-Hyland functional
Mathematics Subject Classification ID
03H05: Nonstandard models in mathematics
03D65: Higher-type and set recursion theory