Hostname: page-component-788cddb947-55tpx Total loading time: 0 Render date: 2024-10-12T13:30:11.188Z Has data issue: false hasContentIssue false

Modified bar recursion

Published online by Cambridge University Press:  17 May 2006

ULRICH BERGER
Affiliation:
Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, SA2 8PP, United Kingdom
PAULO OLIVA
Affiliation:
Department of Computer Science, Queen Mary, University of London, Mile End Road, London E3 1NS, United Kingdom

Abstract

This paper studies modified bar recursion, a higher type recursion scheme, which has been used in Berardi et al. (1998) and Berger and Oliva (2005) for a realisability interpretation of classical analysis. A complete clarification of its relation to Spector's and Kohlenbach's bar recursion, the fan functional, Gandy's functional $\Gamma$ and Kleene's notion of S1–S9 computability is given.

Type
Paper
Copyright
2006 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)