A Separation Theorem for ∑ 1 1 Sets

DOI10.2307/1998008zbMath0455.03021OpenAlexW2081278058MaRDI QIDQ5904655

Alain Louveau

Publication date: 1980

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

measurable spacePolish spaceBorel hierarchyLebesgue-Hausdorff theoremhyperarithmetical hierarchysection problemeffective descriptive theoryomega reductionresolution in alternating series

Mathematics Subject Classification ID

Descriptive set theory (03E15) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Applications of computability and recursion theory (03D80)

Related Items

Uniformity results on the Baire property, The axiom of determinacy and the modern development of descriptive set theory, Universal functions, A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory, Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces, Injective tests of low complexity in the plane, Universal and complete sets in martingale theory, Baire-class $\xi $ colorings: The first three levels, Polish Group Actions and the Vaught Conjecture, Separation of analytic sets by rectangles of low complexity, Decomposing Borel sets and functions and the structure of Baire class 1 functions, On the unique representation of families of sets, Unnamed Item, Effective refining of Borel coverings, A SEPARATION RESULT FOR COUNTABLE UNIONS OF BOREL RECTANGLES, Potential Wadge classes, The space of composants of an indecomposable continuum, Computability of Subsets of Metric Spaces