Journal of Mathematical Logic 21 (1):2050021 (2020)
Abstract |
We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an
analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results from effective descriptive set theory and recursion theory. In fact it is essential to extend several prominent results in recursion theory (e.g. the Shore-Slaman Join Theorem) to the setting of Polish
spaces. As a by-product we give both positive and negative results on the
Martin Conjecture on the degree preserving Borel functions between Polish
spaces. Additionally we prove results about the transfinite version as well as
the computable version of the Decomposability Conjecture
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
Reprint years | 2021 |
DOI | 10.1142/s021906132050021x |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Effective Borel Measurability and Reducibility of Functions.Vasco Brattka - 2005 - Mathematical Logic Quarterly 51 (1):19-44.
Definability of the Jump Operator in the Enumeration Degrees.I. Sh Kalimullin - 2003 - Journal of Mathematical Logic 3 (02):257-267.
Decomposing Borel Functions and Structure at Finite Levels of the Baire Hierarchy.Janusz Pawlikowski & Marcin Sabok - 2012 - Annals of Pure and Applied Logic 163 (12):1748-1764.
Degrees of Unsolvability of Continuous Functions.Joseph S. Miller - 2004 - Journal of Symbolic Logic 69 (2):555 - 584.
On the Structure of Finite Level and $\omega$-Decomposable Borel Functions.Luca Motto Ros - 2013 - Journal of Symbolic Logic 78 (4):1257-1287.
View all 7 references / Add more references
Citations of this work BETA
Decomposing Functions of Baire Class on Polish Spaces.Longyun Ding, Takayuki Kihara, Brian Semmes & Jiafei Zhao - 2020 - Journal of Symbolic Logic 85 (3):960-971.
Similar books and articles
Degrees of Unsolvability of Continuous Functions.Joseph S. Miller - 2004 - Journal of Symbolic Logic 69 (2):555-584.
On Turing Degrees of Points in Computable Topology.Iraj Kalantari & Larry Welch - 2008 - Mathematical Logic Quarterly 54 (5):470-482.
Effective Borel Degrees of Some Topological Functions.Guido Gherardi - 2006 - Mathematical Logic Quarterly 52 (6):625-642.
Effective Borel Measurability and Reducibility of Functions.Vasco Brattka - 2005 - Mathematical Logic Quarterly 51 (1):19-44.
Computing the Complexity of the Relation of Isometry Between Separable Banach Spaces.Julien Melleray - 2007 - Mathematical Logic Quarterly 53 (2):128-131.
Turing Degrees of Certain Isomorphic Images of Computable Relations.Valentina S. Harizanov - 1998 - Annals of Pure and Applied Logic 93 (1-3):103-113.
Degrees of Unsolvability of Continuous Functions.Joseph S. Miller - 2004 - Journal of Symbolic Logic 69 (2):555 - 584.
The Importance of Π1 0 Classes in Effective Randomness.George Barmpalias, Andrew E. M. Lewis & Keng Meng Ng - 2010 - Journal of Symbolic Logic 75 (1):387-400.
Martin’s Conjecture and Strong Ergodicity.Simon Thomas - 2009 - Archive for Mathematical Logic 48 (8):749-759.
A Quasi-Order on Continuous Functions.Raphaël Carroy - 2013 - Journal of Symbolic Logic 78 (2):633-648.
Benign Cost Functions and Lowness Properties.Noam Greenberg & André Nies - 2011 - Journal of Symbolic Logic 76 (1):289 - 312.
Calculus of Variations and Descriptive Set Theory.Nikolaos E. Sofronidis - 2009 - Mathematical Logic Quarterly 55 (5):535-538.
Louveau's Theorem for the Descriptive Set Theory of Internal Sets.Kenneth Schilling & Boško Živaljević - 1997 - Journal of Symbolic Logic 62 (2):595-607.
Borel Globalizations of Partial Actions of Polish Groups.H. Pinedo & C. Uzcategui - 2018 - Archive for Mathematical Logic 57 (5-6):617-627.
Analytics
Added to PP index
2020-04-30
Total views
6 ( #1,132,984 of 2,506,031 )
Recent downloads (6 months)
1 ( #416,828 of 2,506,031 )
2020-04-30
Total views
6 ( #1,132,984 of 2,506,031 )
Recent downloads (6 months)
1 ( #416,828 of 2,506,031 )
How can I increase my downloads?
Downloads