Source author record

Dan Hathaway

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

ResearcherUnclaimed source record

math.LO math.OA

Catalog footprint

What is connected

7works

2topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2023arXiv

Applying Generic Coding with Help to Uniformizations

This is a follow up to a paper by the author where the disjointness relation for (the graphs of) definable functions from ${^ωω}$ to ${^ωω}$ is analyzed. In that paper, for each $a \in {^ωω}$ we defined a Baire class one function $f_a^{GC} : {^ωω} \to {^ωω}$ which encoded $a$ in a certain sense. Given $g : {^ωω} \to {^ωω}$, let $Ψ(g)$ be the statement that $g$ is disjoint from at most countably many of the functions $f_a^{GC}$. We show the consistency strength of $(\forall g)\, Ψ(g)$ is at most one inaccessible cardinal. We show that $\mbox{AD}^+$ implies $(\forall g)\, Ψ(g)$. Finally, we show that assuming large cardinals, $(\forall g)\, Ψ(g)$ holds in models of the form $L(\mathbb{R} [\mathcal{U}]$ where $\mathcal{U}$ is a selective ultrafilter on $ω$.

preprint2020arXiv

Perfect Tree Forcings for Singular Cardinals

We investigate forcing properties of perfect tree forcings defined by Prikry to answer a question of Solovay in the late 1960's regarding first failures of distributivity. Given a strictly increasing sequence of regular cardinals $\langle κ_n: n< ω\rangle$, Prikry defined the forcing $\mathbb{P}$ all perfect subtrees of $\prod_{n<ω}κ_n$, and proved that for $κ=\sup_{n<ω}κ_n$, assuming the necessary cardinal arithmetic, the Boolean completion $\mathbb{B}$ of $\mathbb{P}$ is $(ω,μ)$-distributive for all $μ<κ$ but $(ω,κ,δ)$-distributivity fails for all $δ<κ$, implying failure of the $(ω,κ)$-d.l. These hitherto unpublished results are included, setting the stage for the following recent results. $\mathbb{P}$ satisfies a Sacks-type property, implying that $\mathbb{B}$ is $(ω,\infty,<κ)$-distributive. The $(\mathfrak{h},2)$-d.l. and the $(\mathfrak{d},\infty,<κ)$-d.l. fail in $\mathbb{B}$. $\mathcal{P}(ω)/\mbox{Fin}$ completely embeds into $\mathbb{B}$. Also, $\mathbb{B}$ collapses $κ^ω$ to $\mathfrak{h}$. We further prove that if $κ$ is a limit of countably many measurable cardinals, then $\mathbb{B}$ adds a minimal degree of constructibility for new $ω$-sequences. Some of these results generalize to cardinals $κ$ with uncountable cofinality.

preprint2016arXiv

Weak Distributivity Implying Distributivity

Let $\mathbb{B}$ be a complete Boolean algebra. We show, as an application of a previous result of the author, that if $λ$ is an infinite cardinal and $\mathbb{B}$ is weakly $(λ^ω, ω)$-distributive, then $\mathbb{B}$ is $(λ, 2)$-distributive. Using a parallel result, we show that if $κ$ is a weakly compact cardinal such that $\mathbb{B}$ is weakly $(2^κ, κ)$-distributive and $\mathbb{B}$ is $(α, 2)$-distributive for each $α< κ$, then $\mathbb{B}$ is $(κ, 2)$-distributive.

preprint2015arXiv

No Unwanted Universally Baire Morphisms

We show that the usual proof that there are no morphisms (in the sense of cardinal characteristics), whose constituent maps are Borel, between certain challenge-response relations generalizes to show that there are no morphisms whose constituent maps are universally Baire.

preprint2014arXiv

A Lower Bound for Generalized Dominating Numbers

We show a new proof for the fact that when $κ$ and $λ$ are infinite cardinals satisfying $λ^ κ= λ$, the cofinality of the set of all functions from $λ$ to $κ$ ordered by everywhere domination is $2^λ$. An earlier proof was a consequence of a result about independent families of functions. The new proof follows directly from the main theorem we present: for every $A \subseteq λ$ there is a function $f: {^κλ} \to κ$ such that whenever $M$ is a transitive model of $\textrm{ZF}$ such that ${^κλ} \subseteq M$ and some $g: {^κλ} \to κ$ in $M$ dominates $f$, then $A \in M$. That is, "constructibility can be reduced to domination".

preprint2014arXiv

Combinatorics of reductions between equivalence relations

We discuss combinatorial conditions for the existence of various types of reductions between equivalence relations, and in particular identify necessary and sufficient conditions for the existence of injective reductions.

preprint2013arXiv

A simple C*-algebra with finite nuclear dimension which is not Z-stable

We construct a simple C*-algebra with nuclear dimension zero that is not isomorphic to its tensor product with the Jiang-Su algebra Z, and a hyperfinite II_1 factor not isomorphic to its tensor product with the separable hyperfinite II_1 factor R. The proofs use a weakening of the Continuum Hypothesis.