Inductive definability: Measure and category

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

R. Daniel Mauldin, Douglas Cenzer

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 principle; effective descriptive set theory; inductive definitions; classical descriptive set theory; Borel uniformizations; inductive operators; parametrizations of coanalytic sets; uniformizations of coanalytic sets

Mathematics Subject Classification ID

03E15: Descriptive set theory

28A05: Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets

03D70: Inductive definability

Related Items

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

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