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

coloringdichotomyseparationsigma-continuity

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• On a Notion of Smallness for Subsets of the Baire Space
• The Structure of σ-Ideals of Compact Sets

Cited in

(7)

• Definability of small puncture sets
• scientific article; zbMATH DE number 1083160 (Why is no real title available?)
• A dichotomy characterizing analytic digraphs of uncountable Borel chromatic number in any dimension
• Baire-class colorings: the first three levels
• Bases for functions beyond the first Baire class
• Continuous 2-colorings and topological dynamics
• A game for Baire's grand theorem

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)