Inductively defined sets of reals

DOI10.1090/S0002-9904-1974-13459-2zbMath0328.02028MaRDI QIDQ4093430

Douglas Cenzer

Publication date: 1974

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

Descriptive set theory (03E15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65) Hierarchies of computability and definability (03D55)

Related Items

Models for recursion theory

Cites Work

• Cores of Π₁¹ sets of reals
• The boundedness principle in ordinal recursion
• Parametric inductive definitions and recursive operators over the continuum
• Hierarchies based on objects of finite type¹
• Recursive Functionals and Quantifiers of Finite Types II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item