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

DOI10.1090/CONM/752/15127zbMATH Open1496.03183arXiv1803.03205OpenAlexW3035779013MaRDI QIDQ3299557FDOQ3299557

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)

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.

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

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

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)

Cites Work

• The Structure of σ-Ideals of Compact Sets
• Combinatorial Cardinal Characteristics of the Continuum
• Homogeneity for Open Partitions of Pairs of Reals
• On a Notion of Smallness for Subsets of the Baire Space
• First level Borel functions and isomorphisms
• Title not available (Why is that?)
• Decomposing Borel sets and functions and the structure of Baire class 1 functions
• Title not available (Why is that?)
• Evasion and prediction. III: Constant prediction and dominating reals
• Title not available (Why is that?)
• Baire-class \(\xi\) colorings: the first three levels

Cited In (6)

• Baire-class \(\xi\) 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)