The open dihypergraph dichotomy and the second level of the Borel hierarchy

DOI10.1090/CONM/752/15127MaRDI QIDQ3299557zbMATH OpenOpenAlexFDO

Authors Raphaël Carroy, Benjamin D. Miller, Dániel T. Soukup

Publication date 23 July 2020

Published in Trends in Set Theory (Search for Journal in Brave)

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

zbMATH Keywords

separationcoloringdichotomysigma-continuity

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Classification of real functions; Baire classification of sets and functions (26A21)

Abstract: We show that several dichotomy theorems concerning the second level of the Borel hierarchy are special cases of the $alep{h}_0$-dimensional generalization of the open graph dichotomy, which itself follows from the usual proof(s) of the perfect set theorem. Under the axiom of determinacy, we obtain the generalizations of these results from analytic metric spaces to separable metric spaces. We also consider connections between cardinal invariants and the chromatic numbers of the corresponding dihypergraphs.

Recommendations

• A dichotomy characterizing analytic digraphs of uncountable Borel chromatic number in any dimension
• scientific article; zbMATH DE number 1083160
• Weak Borel chromatic numbers
• A Glimm-Effros Dichotomy for Borel Equivalence Relations
• Basis problems for Borel graphs

Cites work

• scientific article; zbMATH DE number 3472991 (Why is no real title available?)
• scientific article; zbMATH DE number 1420846 (Why is no real title available?)
• scientific article; zbMATH DE number 3215740 (Why is no real title available?)
• Baire-class colorings: the first three levels
• Combinatorial Cardinal Characteristics of the Continuum
• Decomposing Borel sets and functions and the structure of Baire class 1 functions
• Evasion and prediction. III: Constant prediction and dominating reals
• First level Borel functions and isomorphisms
• Homogeneity for Open Partitions of Pairs of Reals
• On a Notion of Smallness for Subsets of the Baire Space
• The Structure of σ-Ideals of Compact Sets

Cited in

(6)

• Baire-class colorings: the first three levels
• Definability of small puncture sets
• A game for Baire's grand theorem
• Continuous 2-colorings and topological dynamics
• A dichotomy characterizing analytic digraphs of uncountable Borel chromatic number in any dimension
• Bases for functions beyond the first Baire class

This page was built for publication: The open dihypergraph dichotomy and the second level of the Borel hierarchy

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