Analytic inductive definitions

DOI10.2307/2272644zbMath0296.02021OpenAlexW2000685762MaRDI QIDQ4049051

Douglas Cenzer

Publication date: 1974

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272644

Mathematics Subject Classification ID

Descriptive set theory (03E15) Large cardinals (03E55) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)

Related Items (1)

A Π¹₁-uniformization principle for reals

This page was built for publication: Analytic inductive definitions