A rich hierarchy of functionals of finite types

DOI10.2168/LMCS-5(3:11)2009zbMath1215.03057arXiv0909.1198MaRDI QIDQ3011172

Dag Normann

Publication date: 28 June 2011

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

Full work available at URL: https://arxiv.org/abs/0909.1198

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Related Items (1)

A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces

This page was built for publication: A rich hierarchy of functionals of finite types