Inductively defined sets of reals

DOI10.1090/S0002-9904-1974-13459-2zbMATH Open0328.02028MaRDI QIDQ4093430FDOQ4093430

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

• Title not available (Why is that?)
• Recursive Functionals and Quantifiers of Finite Types II
• Title not available (Why is that?)
• Cores of Π₁¹ sets of reals
• Title not available (Why is that?)
• The boundedness principle in ordinal recursion
• Parametric inductive definitions and recursive operators over the continuum
• Hierarchies based on objects of finite type¹
• Title not available (Why is that?)

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)