A Separation Theorem for ∑ 1 1 Sets

DOI10.2307/1998008zbMath0463.03029OpenAlexW2081278058MaRDI QIDQ5904770

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

Borel hierarchyLebesgue-Hausdorff theoremhyperarithmetical hierarchysection problem

Mathematics Subject Classification ID

Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Related Items (18)

Acyclicity and reduction ⋮ Borel hierarchies in infinite products of Polish spaces ⋮ On minimal non-potentially closed subsets of the plane ⋮ Towards the Effective Descriptive Set Theory ⋮ Compact covering and game determinacy ⋮ A syntactic approach to Borel functions: some extensions of Louveau's theorem ⋮ Analytically heavy spaces: analytic Cantor and analytic Baire theorems ⋮ Classes of Polish spaces under effective Borel isomorphism ⋮ Descriptive complexity of countable unions of Borel rectangles ⋮ Borel OD sets of reals are OD-Borel in some simple models ⋮ Remarks on two problems by M. Laczkovich on functions with Borel measurable differences ⋮ Descriptive classes of sets in nonseparable spaces ⋮ Classical and effective descriptive complexities of \(\omega \)-powers ⋮ Transfinite sequences of topologies, descriptive complexity, and approximating equivalence relations ⋮ On the complexity of Borel equivalence relations with some countability property ⋮ Some applications of positive formulas in descriptive set theory and logic ⋮ Turing degrees in Polish spaces and decomposability of Borel functions ⋮ Upper semi-continuous set-valued functions

This page was built for publication: A Separation Theorem for ∑ 1 1 Sets