arXiv subjects
Publications and source records attributed to Fanxin Wu.
We study the homotopy of loops in a fixed path-connected Polish space from a descriptive set-theoretic viewpoint. We show that many analytic equivalence relations arise this way, and many do not. We also study the "free group" over an equivalence relation.
We consider the two-cardinal Kurepa Hypothesis $\mathsf{KH}(\kappa,\lambda)$. We observe that if $\kappa\leq\lambda<\mu$ are infinite cardinals then $\lnot\mathsf{KH}(\kappa,\lambda)\land\mathsf{KH}(\kappa,\mu)\rightarrow\mathsf{KH}(\lambda^+,\mu)$, and show that in some sense this is the only $\mathsf{ZFC}$ constraint. The case of singular $\lambda$ and its relation to Chang's Conjecture and scales is discussed. We also extend an independence result about Kurepa and Aronszajn trees due to Cummings to the case of successors of singular cardinal.
We provide two types of guessing principles for ultrafilter ($\diamondsuit^{-}_{\lambda}(U), \ \diamondsuit^p_\lambda(U)$) on $\omega$ which form subclasses of Tukey-top ultrafilters, and construct such ultrafilters in $ZFC$. These constructions are essentially different from Isbell's construction \cite{Isbell65} of Tukey-top ultrafilters. We prove using the Borel-Cantelli Lemma that full guessing is not possible and rule out several stronger guessing principles e.g. we prove that no Dodd-sound ultrafilters exist on $\omega$. We then apply these guessing principles to force a $q$-point which is Tukey-top (answering a question from \cite{Benhanou/Dobrinen23}), and prove that the class of ultrafilters which satisfy $\neg\diamondsuit^{-}_\lambda$ is closed under Fubini sum. Finally, we show that $\diamondsuit^{-}_\lambda$ and $\diamondsuit^p_\lambda$ can be separated.