Inductively defined sets of reals

DOI10.1090/S0002-9904-1974-13459-2MaRDI QIDQ4093430zbMATH OpenFDO

Authors Douglas Cenzer

Publication date 1974

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

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 3445235 (Why is no real title available?)
• scientific article; zbMATH DE number 3370319 (Why is no real title available?)
• scientific article; zbMATH DE number 3397511 (Why is no real title available?)
• Cores of Π₁¹ sets of reals
• Hierarchies based on objects of finite type¹
• Parametric inductive definitions and recursive operators over the continuum
• Recursive Functionals and Quantifiers of Finite Types II
• The boundedness principle in ordinal recursion

Cited in

(1)

• Models for recursion theory

This page was built for publication: Inductively defined sets of reals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4093430)