Inductive definability: Measure and category

DOI10.1016/0001-8708(80)90057-2zbMath0466.03018OpenAlexW2034004498MaRDI QIDQ1155049

Douglas Cenzer, R. Daniel Mauldin

Publication date: 1980

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(80)90057-2

zbMATH Keywords

reflection principleeffective descriptive set theoryinductive definitionsclassical descriptive set theoryBorel uniformizationsinductive operatorsparametrizations of coanalytic setsuniformizations of coanalytic sets

Mathematics Subject Classification ID

Descriptive set theory (03E15) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Inductive definability (03D70)

Related Items (10)

Fubini‐type theorems for general measure constructions ⋮ Measurable Parametrizations and Selections ⋮ The axiom of determinacy and the modern development of descriptive set theory ⋮ Mathematical problems and games ⋮ On ideals of subsets of the plane and on Cohen reals ⋮ How to Compute Antiderivatives ⋮ An effective selection theorem ⋮ On the unique representation of families of sets ⋮ Some Remarks about Measurable Parametrizations ⋮ On the Borel class of the derived set operator

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Baire functions, Borel sets, and ordinary function systems
• Extensions of the measurable choice theorem by means of forcing
• Recursive well-orderings
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• Cores of Π₁¹ sets of reals
• Notes on Measure and Category in Recursion Theory
• Monotone inductive definitions over the continuum
• Some uniformization results
• Measurable Parametrizations and Selections
• Borel Parametrizations
• Measure and category in effective descriptive set theory
• Sur les propriétés des constituantes des ensembles analytiques
• The Forcing Method and the Upper Semilattice of Hyperdegrees
• Some results in the effective descriptive set theory
• Some applications of forcing to hierarchy problems in arithmetic
• Measure-Theoretic Uniformity in Recursion Theory and Set Theory
• Non-Existence of Everywhere Proper Conditional Distributions

This page was built for publication: Inductive definability: Measure and category