Uniformity results on the Baire property

zbMATH Open1425.03019arXiv1707.07593MaRDI QIDQ4972045FDOQ4972045

Authors: Vassilios Gregoriades 

Publication date: 22 November 2019

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.

Full work available at URL: https://arxiv.org/abs/1707.07593

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

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)

Cites Work

• Title not available (Why is that?)
• Descriptive set theory
• Decomposing Borel functions using the Shore–Slaman join theorem
• Relative to any non-hyperarithmetic set
• A Separation Theorem for ∑ 1 1 Sets
• Turing degrees in Polish spaces and decomposability of Borel functions

Cited In (2)

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

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)