arXiv subjects
Publications and source records attributed to Jialiang He.
These open problems were presented in the Problem Sessions held during the Tianyuan Workshop on Definability and Computation, June 22-26, 2026. The problems are organized into sections named after their contributors, in the order of their presentations during the workshop. Notes were taken and compiled by Wei Dai, Xiangxi Hu, Yingying Jiang, Ruiwen Li, Tianhao Wang, Xu Wang, and Jie Zou.
We show that under $\mathsf{ZF} + \mathsf{CC}_{\mathbb R}$, if the Ramsey property holds for all sets in a good pointclass $\Gamma$, then there is no MAD family in $\Gamma$, proving a long-standing conjecture made by A.R.D.\ Mathias in 1977. This also holds for $\mathcal I$-MAD families with respect to analytic ideals $\mathcal I$ including $\mathcal{ED}$, $\mathcal{ED}_{\mathrm{fin}}$, and $\finalpha{\alpha}$ for all countable ordinals $\alpha$. Under the same assumption, we show that if any one of the Baire property, Lebesgue measurability or Ramsey property holds for all sets in $\Gamma$, then there is no maximal independent family in $\Gamma$. Under the stronger assumption $\mathsf{ZF} + \mathsf{DC}_{\mathbb R}$, we further prove that if the Ramsey property holds for all sets in $\Gamma$, then $\Gamma$ contains no Vitali sets and thus no Hamel bases.
We show that if the Ramsey property holds (in a class of sets), then there is no MAD family (in this class, provided it satisfies some modest closure properties), proving a conjecture made by A.R.D.\ Mathias in 1977. As the technique we introduce for this proof is useful in a variety of related problems, we take the opportunity to announce 4 theorems, which will be proved in a follow-up paper.
These open problems were presented in the Problem Sessions held during the Tianyuan Workshop on Computability Theory and Descriptive Set Theory, June 16-20, 2025. The problems are organized into sections named after their contributors, in the order of their presentations during the workshop. Notes were taken and compiled by Wei Dai, Feng Li, Ruiwen Li, Ming Xiao, Xu Wang, V\'ictor Hugo Ya\~nez Salazar, and Yang Zheng.
We study $\mathcal I$-maximal eventually different families of functions from the set of natural numbers into itself where $\mathcal I$ is an arbitrary ideal on the set of natural numbers that includes the ideal of all finite sets $\mathrm{fin}$. We introduce the class of uniformly weak Ramsey ideals and prove that there exists a closed $\mathcal I$-maximal eventually different family if $\mathcal I$ belongs to this class; this is the case for arbitrary $F_\sigma$ ideals and Fubini products $\mathrm{fin}^{\alpha}$ with $\alpha<\omega_1$.
It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers, and therefore, it is a Borel complete equivalence relation.
We investigate the Tukey order in the class of $F_σ$ ideals of subsets of $ω$. We show that no nontrivial $F_σ$ ideal is Tukey below a $G_δ$ ideal of compact sets. We introduce the notions of flat ideals and gradually flat ideals. We prove a dichotomy theorem for flat ideals isolating gradual flatness as the side of the dichotomy that is structurally good. We give diverse characterizations of gradual flatness among flat ideals using Tukey reductions and games. For example, we show that gradually flat ideals are precisely those flat ideals that are Tukey below the ideal of density zero sets.
The quantale of distance distributions is of fundamental importance for understanding probabilistic metric spaces as enriched categories. Motivated by the categorical interpretation of partial metric spaces, we are led to investigate the quantaloid of diagonals between distance distributions, which is expected to establish the categorical foundation of probabilistic partial metric spaces. Observing that the quantale of distance distributions w.r.t. an arbitrary continuous t-norm is non-divisible, we precisely characterize diagonals between distance distributions, and prove that one-step functions are the only distance distributions on which the set of diagonals coincides with the generated down set.