Inductive definability: Measure and category
From MaRDI portal
Publication:1155049
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
reflection principle; effective descriptive set theory; inductive definitions; classical descriptive set theory; Borel uniformizations; inductive operators; parametrizations of coanalytic sets; uniformizations of coanalytic sets
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 Π11 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