7 papers · 1 filter
Open Problems in Mathematical Logic
George Barmpalias, Su Gao, Jialiang He +8
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 sect…
Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
Jialiang He, Jintao Luo, Shuguo Zhang
We show that under , if the Ramsey property holds for all sets in a good pointclass , then there is no MAD family in , proving a long-s…
Ramsey regularity implies no MAD families without uniformization
Jialiang He, Jintao Luo, Shuguo Zhang
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 conject…
Open Problems in Computability Theory and Descriptive Set Theory
George Barmpalias, Nikolay Bazhenov, Chi Tat Chong +11
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…
Maximal eventually different families for uniformly weak Ramsey ideals
Jialiang He, Jintao Luo, David Schrittesser +1
We study -maximal eventually different families of functions from the set of natural numbers into itself where is an arbitrary ideal on the set of natural…
The complexity of classifying continuous t-norms up to isomorphism
Jialiang He, Lili Shen, Yi Zhou
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…