On effectively discontinuous type-2 objects
From MaRDI portal
Publication:5629626
DOI10.2307/2270259zbMath0224.02034MaRDI QIDQ5629626
Publication date: 1971
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270259
03D20: Recursive functions and relations, subrecursive hierarchies
Related Items
On uniform weak König's lemma, On Brouwer's continuity principle, Between Turing and Kleene, R.E. degrees of continuous functionals
Cites Work