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.
Researcher profile
Benjamin D. Miller
Benjamin D. Miller contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
4topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
8 published item(s)
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 $(\cdot_r)_{r \in \mathbb{R}}$ of free actions of $Γ$ on $X$, generating subequivalence relations $E_r$ of $E$ with respect to which $μ$ is ergodic, with the further property that $(E_r)_{r \in \mathbb{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.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Lacunary sets for actions of tsi groups
Under a mild definability assumption, we characterize the family of Borel actions $Γ\curvearrowright 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 $\mathbb{E}_0^{\mathbb{N}}$ into $E_Γ^X$.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Measure reducibility of countable Borel equivalence relations
We show that every basis for the countable Borel equivalence relations strictly above $\mathbb{E}_0$ 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Scrambled Cantor sets
We show that Li-Yorke chaos ensures the existence of a scrambled Cantor set.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Sigma-continuity with closed witnesses
We use variants of the $\mathbb{G}_0$ 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.
0 citations0 reviewsNo code linkedOpen access