A syntactic approach to Borel functions: some extensions of Louveau's theorem

DOI10.1007/s00153-023-00880-8arXiv2103.02950OpenAlexW3135384284WikidataQ123020029 ScholiaQ123020029MaRDI QIDQ6053514

Takayuki Kihara, Kenta Sasaki

Publication date: 27 September 2023

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

Veblen functionBorel functionBorel codebetter quasi orderwadge degere

Mathematics Subject Classification ID

Descriptive set theory (03E15) Hierarchies of computability and definability (03D55)

Related Items (1)

Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Wadge hierarchy for second countable spaces
• Preservation of the Borel class under countable-compact-covering mappings
• Classical recursion theory. The theory of functions and sets of natural numbers
• Extended admissibility.
• Continuous reducibility and dimension of metric spaces
• Quasi-Polish spaces
• Computability on quasi-Polish spaces
• Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
• Borel-Piecewise Continuous Reducibility for Uniformization Problems
• On the difference property of Borel measurable functions
• Decomposing Borel sets and functions and the structure of Baire class 1 functions
• The Steel hierarchy of ordinal valued Borel mappings
• Borel subsets of the real line and continuous reducibility
• Fine hierarchies and Boolean terms
• Decomposing Borel functions using the Shore–Slaman join theorem
• Handbook of Computability and Complexity in Analysis
• Turing degrees in Polish spaces and decomposability of Borel functions
• A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
• Wadge-like degrees of Borel bqo-valued functions
• Overt choice
• Forests describing Wadge degrees and topological Weihrauch degrees of certain classes of functions and relations
• Q-Wadge degrees as free structures
• Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations
• Hierarchies of Δ⁰₂‐measurable k ‐partitions
• On the structure of the Wadge degrees of bqo-valued Borel functions
• Descriptive complexity on non-Polish spaces
• A Separation Theorem for ∑ 1 1 Sets

This page was built for publication: A syntactic approach to Borel functions: some extensions of Louveau's theorem