On the Structure of Finite Level and ω-Decomposable Borel Functions

DOI10.2178/JSL.7804150MaRDI QIDQ5407053zbMATH OpenOpenAlexFDO

Authors Luca Motto Ros

Publication date 4 April 2014

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1206.0795, https://projecteuclid.org/euclid.jsl/1388954006

zbMATH Keywords

Baire class of functionscountably continuous functiondecomposable functionfinite level Borel function

Mathematics Subject Classification ID

Descriptive set theory (03E15) Classification of real functions; Baire classification of sets and functions (26A21) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Abstract: We give a full description of the structure under inclusion of all finite level Borel classes of functions, and provide an elementary proof of the well-known fact that not every Borel function can be written as a countable union of Sigma^0_alpha-measurable functions (for every fixed 1 leq alpha < omega_1). Moreover, we present some results concerning those Borel functions which are omega-decomposable into continuous functions (also called countably continuous functions in the literature): such results should be viewed as a contribution towards the goal of generalizing a remarkable theorem of Jayne and Rogers to all finite levels, and in fact they allow us to prove some restricted forms of such generalizations. We also analyze finite level Borel functions in terms of composition of simpler functions, and we finally present an application to Banach space theory.

Recommendations

• Decomposing Borel functions and structure at finite levels of the Baire hierarchy
• A countable \(X\) having a closed subspace \(A\) with \(C_ p(A)\) not a factor of \(C_ p(X)\)
• Closed-constructible functions are piecewise closed
• Borel functions and separability of metric spaces
• scientific article; zbMATH DE number 2172944
• An alternative approach to the decomposition of functions
• Some examples on continuous restrictions
• Some observations on `A new proof of a theorem of Jayne and Rogers'
• Reduction of Baire-measurability to uniform continuity

Cited in

(19)

• On the indecomposability of \(\omega^n\)
• Some observations on `A new proof of a theorem of Jayne and Rogers'
• On Ohta-Sakai's properties of a topological space
• Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
• Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
• Borel-piecewise continuous reducibility for uniformization problems
• scientific article; zbMATH DE number 4055912 (Why is no real title available?)
• An alternative approach to the decomposition of functions
• Decomposing Borel sets and functions and the structure of Baire class 1 functions
• Piece‐wise closed functions and almost discretely σ‐decomposable families
• scientific article; zbMATH DE number 6754175 (Why is no real title available?)
• Decomposing Borel functions using the Shore-Slaman join theorem
• Turing degrees in Polish spaces and decomposability of Borel functions
• Wadge-like reducibilities on arbitrary quasi-Polish spaces
• DECOMPOSING FUNCTIONS OF BAIRE CLASS ON POLISH SPACES
• Point Degree Spectra of Represented Spaces
• Decomposing Borel functions and structure at finite levels of the Baire hierarchy
• The Dyck and the Preiss separation uniformly
• A new proof of a theorem of Jayne and Rogers

This page was built for publication: On the Structure of Finite Level and ω-Decomposable Borel Functions

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