Comparing hierarchies of total functionals

DOI10.2168/LMCS-1(2:4)2005zbMath1125.03032OpenAlexW3104857306MaRDI QIDQ5310641

Dag Normann

Publication date: 11 October 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-1(2:4)2005

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Hierarchies of computability and definability (03D55)

Related Items (2)

On the ubiquity of certain total type structures ⋮ The sequential topology on is not regular

This page was built for publication: Comparing hierarchies of total functionals