BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Will Brian

Will Brian appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GNmath.LOLogic in Computer Sciencemath.DSmath.FAmath.GRmath.RA

Catalog footprint

What is connected

6works
7topics
2close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

6 published item(s)

preprint2026arXiv

Does $\mathcal P(ω) / \mathrm{fin}$ know its right hand from its left?

Let $σ$ denote the shift automorphism on $\mathcal{P}(ω) / \mathrm{fin}$, defined by setting $σ([A]) = [A+1]$ for all $A \subseteq ω$. We show that the Continuum Hypothesis implies the shift automorphism $σ$ and its inverse $σ^{-1}$ are conjugate in the automorphism group of $\mathcal{P}(ω) / \mathrm{fin}$. Due to work of van Douwen and Shelah, it has been known since the 1980's that it is consistent with $\mathsf{ZFC}$ that $σ$ and $σ^{-1}$ are not conjugate. Our result shows that the question of whether $σ$ and $σ^{-1}$ are conjugate is independent of $\mathsf{ZFC}$. As a corollary to the main theorem, we deduce that the structures $\langle \mathcal{P}(ω) / \mathrm{fin},σ\rangle$ and $\langle \mathcal{P}(ω) / \mathrm{fin},σ^{-1} \rangle$ are elementarily equivalent in the language of algebraic dynamical systems (Boolean algebras together with an automorphism). This corollary does not depend on the Continuum Hypothesis.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Combinatorial and number-theoretic properties of generic reals

We discuss some properties of Cohen and random reals. We show that they belong to any definable partition regular family, and hence they satisfy most "largeness" properties studied in Ramsey theory. We determine their position in the Mahler's classification of the reals and using it, we get some information about Liouville numbers. We also show that they are wild in the sense of o-minimality, i.e., they define the set of integers.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Covering versus partitioning with Polish spaces

Given a completely metrizable space $X$, let $\mathfrak{par}(X)$ denote the smallest possible size of a partition of $X$ into Polish spaces, and $\mathfrak{cov}(X)$ the smallest possible size of a covering of $X$ with Polish spaces. Observe that $\mathfrak{cov}(X) \leq \mathfrak{par}(X)$ for every $X$, because every partition of $X$ is also a covering. We prove it is consistent relative to a huge cardinal that the strict inequality $\mathfrak{cov}(X) < \mathfrak{par}(X)$ can hold for some completely metrizable space $X$. We also prove that using large cardinals is necessary for obtaining this strict inequality, because if $\mathfrak{cov}(X) < \mathfrak{par}(X)$ for any completely metrizable $X$, then $0^\dagger$ exists.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Shift-preserving maps on $ω^*$

The shift map $σ$ on $ω^*$ is the continuous self-map of $ω^*$ induced by the function $n \mapsto n+1$ on $ω$. Given a compact Hausdorff space $X$ and a continuous function $f: X \rightarrow X$, we say that $(X,f)$ is a quotient of $(ω^*,σ)$ whenever there is a continuous surjection $Q: ω^* \to X$ such that $Q \circ σ= f \circ Q$. Our main theorem states that if the weight of $X$ is at most $\aleph_1$, then $(X,f)$ is a quotient of $(ω^*,σ)$ if and only if $f$ is weakly incompressible (which means that no nontrivial open $U \subseteq X$ has $f(\bar{U}) \subseteq U$). Under CH, this gives a complete characterization of the quotients of $(ω^*,σ)$ and implies, for example, that $(ω^*,σ^{-1})$ is a quotient of $(ω^*,σ)$. In the language of topological dynamics, our theorem states that a dynamical system of weight $\aleph_1$ is an abstract $ω$-limit set if and only if it is weakly incompressible. We complement these results by proving $(1)$ our main theorem remains true when $\aleph_1$ is replaced by any $κ< \mathfrak{p}$, $(2)$ consistently, the theorem becomes false if we replace $\aleph_1$ by $\aleph_2$, and $(3)$ OCA+MA implies that $(ω^*,σ^{-1})$ is not a quotient of $(ω^*,σ)$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

From Haar to Lebesgue via Domain Theory, Revised version

If ${\mathcal C}\simeq 2^{\mathbb N}$ denotes the Cantor set realized as the infinite product of two-point groups, then a folklore result says the Cantor map from ${\mathcal C}$ into $[0,1]$ sends Haar measure to Lebesgue measure on the interval. In fact, ${\mathcal C}$ admits many distinct topological group structures. In this note, we show that the Haar measures induced by these distinct group structures are share this property. We prove this by showing that Haar measure for any group structure is the same as Haar measure induced by a related abelian group structure. Moreover, each abelian group structure on ${\mathcal C}$ supports a natural total order that determines a map onto the unit interval that is monotone, and hence sends intervals in ${\mathcal C}$ to subintervals of the unit interval. Using techniques from domain theory, we show this implies this map sends Haar measure on ${\mathcal C}$ to Lebesgue measure on the interval, and we then use this to contract a Borel isomorphism between any two group structures on ${\mathcal C}$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Ideals and idempotents in the uniform ultrafilters

If $S$ is a discrete semigroup, then $βS$ has a natural, left-topological semigroup structure extending $S$. Under some very mild conditions, $U(S)$, the set of uniform ultrafilters on $S$, is a two-sided ideal of $βS$, and therefore contains all of its minimal left ideals and minimal idempotents. We find some very general conditions under which $U(S)$ contains prime minimal left ideals and left-maximal idempotents. If $S$ is countable, then $U(S) = S^*$, and a special case of our main theorem is that if a countable discrete semigroup $S$ is a weakly cancellative and left-cancellative, then $S^*$ contains prime minimal left ideals and left-maximal idempotents. We will provide examples of weakly cancellative semigroups where these conclusions fail, thus showing that this result is sharp.

0 citations0 reviewsNo code linkedOpen access