On effectively discontinuous type-2 objects

DOI10.2307/2270259zbMath0224.02034OpenAlexW2011405700MaRDI QIDQ5629626

T. J. Grilliot

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

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (5)

Between Turing and Kleene ⋮ Banach’s theorem in higher-order reverse mathematics ⋮ R.E. degrees of continuous functionals ⋮ On uniform weak König's lemma ⋮ On Brouwer's continuity principle

Cites Work

• Selection functions for recursive functionals

This page was built for publication: On effectively discontinuous type-2 objects