Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3855167

Jump to:navigation, search

zbMath0422.03022MaRDI QIDQ3855167

R. O. Gandy, J. M. E. Hyland

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computable functions effective operations inductive definability hereditarily partial functions hierarchies of finite type Kleene's schemata limit space structures recursively continuous functions

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65) Proof theory and constructive mathematics (03F99)

Related Items (6)

The equivalence of bar recursion and open recursion ⋮ Unnamed Item ⋮ Speed-up theorems in type-2 computations using oracle Turing machines ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ On the Computability of the Fan Functional ⋮ A type-theoretical alternative to ISWIM, CUCH, OWHY

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3855167&oldid=17463764"