The boundedness principle in ordinal recursion

DOI10.4064/FM-81-3-203-212zbMath0328.02027OpenAlexW1007646581MaRDI QIDQ4093429

Douglas Cenzer

Publication date: 1974

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214638

Mathematics Subject Classification ID

Large cardinals (03E55) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)

Related Items (1)

Inductively defined sets of reals

This page was built for publication: The boundedness principle in ordinal recursion