Uniformity results on the Baire property

MaRDI QIDQ4972045zbMATH OpenFDO

Authors Vassilios Gregoriades

Publication date 22 November 2019

Full work available at URL https://arxiv.org/abs/1707.07593, http://bulletin.math.uoc.gr/vol/62/62-1-18.pdf

zbMATH Keywords

analytic setsprojective setsBaire property uniformly

Mathematics Subject Classification ID

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

Abstract: We are concerned with the problem of witnessing the Baire property of the Borel and the projective sets (assuming determinacy) through a sufficiently definable function in the codes. We prove that in the case of projective sets it is possible to satisfy this for almost all codes using a continuous function. We also show that it is impossible to improve this to all codes even if more complex functions in the codes are allowed. We also study the intermediate steps of the Borel hierarchy, and we give an estimation for the complexity of such functions in the codes, which verify the Baire property for actually all codes.

Recommendations

• On disjoint Borel uniformizations
• Reduction of Baire-measurability to uniform continuity
• Baire number of the spaces of uniform ultrafilters
• scientific article; zbMATH DE number 2033383
• Uniform Algebras in the Cantor and Baire Spaces
• scientific article; zbMATH DE number 1842538
• The Uniformity Principle for  -definability
• scientific article; zbMATH DE number 1450206
• A uniform Birkhoff theorem
• scientific article; zbMATH DE number 3948648

Cites work

• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• A Separation Theorem for ∑ 1 1 Sets
• Decomposing Borel functions using the Shore-Slaman join theorem
• Descriptive set theory
• Relative to any non-hyperarithmetic set
• Turing degrees in Polish spaces and decomposability of Borel functions

Cited in

(2)

• A Technique for Proving Uniformity
• Uniform Algebras in the Cantor and Baire Spaces

This page was built for publication: Uniformity results on the Baire property

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