On the concept of 𝑃𝑖₁¹-completeness

DOI10.1090/S0002-9939-97-03770-2MaRDI QIDQ4336658zbMATH OpenOpenAlexFDO

Authors Alexander S. Kechris

Publication date 13 May 1997

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

Full work available at URL https://doi.org/10.1090/s0002-9939-97-03770-2

zbMATH Keywords

Borel reductionsco-analytic setscompletenesscontinuous reductionseffective descriptive set theoryPolish spaces

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)

Recommendations

• Complete pairs of coanalytic sets
• Complete sequences of coanalytic sets
• Application of Hurewicz theorem to classification of \(\Pi _1^1\)-complete sets
• Complete analytic equivalence relations

Cites work

• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• On the determinacy of games on ordinals

Cited in

(22)

• Polish metric spaces with fixed distance set
• Descriptive set-theoretical properties of an abstract density operator
• \(\Pi_1^1\)-comprehension as a well-ordering principle
• Analytic sets of reals and the density function in the Cantor space
• Descriptive properties related to porosity and density for compact sets on the real line
• On completeness in a non-Archimedean setting, via firm reflections
• An example of \(\boldsymbol{\Pi}_3^0\)-complete infinitary rational relation
• Natural examples of \(\boldsymbol\Pi_{5}^{0}\)-complete sets in analysis
• Application of Hurewicz theorem to classification of \(\Pi _1^1\)-complete sets
• The descriptive complexity of connectedness in Polish spaces
• Complete pairs of coanalytic sets
• Complexity of Ramsey null sets
• The Complexity of the Collection of Countable Linear Orders of the form I + I
• Universal and complete sets in martingale theory
• On the concept of analytic hardness
• The game operator acting on Wadge classes of Borel sets
• On ⅁Γ-complete sets
• Complete sequences of coanalytic sets
• ω-powers and descriptive set theory
• The conjugacy problem in ergodic theory
• Graphs with \(\boldsymbol\Pi^ 0_ 1(\kappa)\) \(Y\)-sections
• Continuous colorings on compact spaces

This page was built for publication: On the concept of 𝑃𝑖₁¹-completeness

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