Inductive definability: Measure and category

DOI10.1016/0001-8708(80)90057-2MaRDI QIDQ1155049zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

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

Cited in

(10)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1155049)