Bases for functions beyond the first Baire class
We provide a finite basis for the class of Borel functions that are not in the first Baire class, as well as the class of Borel functions that are not -continuous with closed witnesses.
Source author record
Benjamin D. Miller
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
11works
4topics
4close collaborators
Published work
11 publications
preprint2020arXiv
Incomparable actions of free groups
Suppose that X is a Polish space, E is a countable Borel equivalence relation on X, and μ is an E-invariant Borel probability measure on X. We consider the circumstances under which for every countable non-abelian free group Γ, there is a Borel sequence (⋅r)r∈R of free actions of Γ on X, generating subequivalence relations Er of E with respect to which μ is ergodic, with the further property that (Er)r∈R is an increasing sequence of relations which are pairwise incomparable under μ-reducibility. In particular, we show that if E satisfies a natural separability condition, then this is the case as long as there exists a free Borel action of a countable non-abelian free group on X, generating a subequivalence relation of E with respect to which μ is ergodic.
Open access
preprint2020arXiv
Lacunary sets for actions of tsi groups
Under a mild definability assumption, we characterize the family of Borel actions Γ↷X of tsi Polish groups on Polish spaces that can be decomposed into countably-many actions admitting complete Borel sets that are lacunary with respect to an open neighborhood of 1Γ. In the special case that Γ is non-archimedean, it follows that there is such a decomposition if and only if there is no continuous embedding of E0N into EΓX.
Open access
preprint2020arXiv
Measurable perfect matchings for acyclic locally countable Borel graphs
We characterize the structural impediments to the existence of Borel perfect matchings for acyclic locally countable Borel graphs admitting a Borel selection of finitely many ends from their connected components. In particular, this yields the existence of Borel matchings for such graphs of degree at least three. As a corollary, it follows that acyclic locally countable Borel graphs of degree at least three generating μ-hyperfinite equivalence relations admit μ-measurable matchings. We establish the analogous result for Baire measurable matchings in the locally finite case, and provide a counterexample in the locally countable case.
Open access
preprint2020arXiv
Measure reducibility of countable Borel equivalence relations
We show that every basis for the countable Borel equivalence relations strictly above E0 under measure reducibility is uncountable, thereby ruling out natural generalizations of the Glimm-Effros dichotomy. We also push many known results concerning the abstract structure of the measure reducibility hierarchy to its base, using arguments substantially simpler than those previously employed.
Open access
preprint2020arXiv
On the existence of small antichains for definable quasi-orders
We generalize Kada's definable strengthening of Dilworth's characterization of the class of quasi-orders admitting an antichain of a given finite cardinality.
Open access
preprint2020arXiv
Scrambled Cantor sets
We show that Li-Yorke chaos ensures the existence of a scrambled Cantor set.
Open access
preprint2020arXiv
Sigma-continuity with closed witnesses
We use variants of the G0 dichotomy to establish a refinement of Solecki's basis theorem for the family of Baire-class one functions which are not σ-continuous with closed witnesses.
Open access
preprint2014arXiv
Dichotomy Theorems for Families of Non-Cofinal Essential Complexity
We prove that for every Borel equivalence relation E, either E is Borel reducible to E_0, or the family of Borel equivalence relations incompatible with E has cofinal essential complexity. It follows that if F is a Borel equivalence relation and F is a family of Borel equivalence relations of non-cofinal essential complexity which together satisfy the dichotomy that for every Borel equivalence relation E, either E∈F or F is Borel reducible to E, then F consists solely of smooth equivalence relations, thus the dichotomy is equivalent to a known theorem.
Open access
preprint2014arXiv
Essential countability of treeable equivalence relations
We establish a dichotomy theorem characterizing the circumstances under which a treeable Borel equivalence relation E is essentially countable. Under additional topological assumptions on the treeing, we in fact show that E is essentially countable if and only if there is no continuous embedding of E1 into E. Our techniques also yield the first classical proof of the analogous result for hypersmooth equivalence relations, and allow us to show that up to continuous Kakutani embeddability, there is a minimum Borel function which is not essentially countable-to-one.
Open access
preprint2013arXiv
An embedding theorem of E0 with model theoretic applications
We provide a new criterion for embedding E0, and apply it to equivalence relations in model theory. This generalize the results of the authors and Pierre Simon on the Borel cardinality of Lascar strong types equality, and Newelski's results about pseudo Fσ groups.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.