May 22–23, 2026 · 南京大学西大楼
The 27th Delta Workshop on Logic
A gathering of logicians across mathematics, philosophy, and computer science.
"Descriptive Set Theory as a Complexity Theory"
A survey of the descriptive set theoretic framework used to measure the relative complexity of classification problems in mathematics.
"The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy"
We show that $\mathrm{AD}_\mathbb{R}$ and $\mathrm{Bl}\text{-}\mathrm{AD}_\mathbb{R}$ are equivalent in $\mathrm{ZF}+\mathrm{DC}$. Joint work with W. Hugh Woodin.
"Orbit Equivalence of Cantor Minimal Systems"
We show that orbit equivalence for Cantor minimal systems with finitely many ergodic measures is Borel bireducible with $=^+$. Joint work with Su Gao and Ruiwen Li.
"Existence of Equilibrium in the Lindahl-Foley Model with Private Bads"
We establish the existence of a Lindahl equilibrium in an economy with both public goods and private bads using nonstandard analysis and Loeb measure theory. Joint work with Robert M. Anderson and Haosui Duanmu.
"Reverse Mathematics of the Effective Lebesgue Density Theorem"
We investigate the proof-theoretic strength of the Effective Lebesgue Density Theorem over the weak base system $\mathrm{RCA}_0$, exploring connections between compactness and probability.
"Strong Marker Sets and Applications"
We prove the existence of clopen marker sets with strong regularity in $F(2^{\mathbb{Z}^n})$, with applications to clopen tree sections and continuous edge colorings.
"Maximal Eventually Different Families for $\Sigma^0_3$-Ideals"
We show that every $\Sigma^0_3$-ideal satisfies the uniform weakly $P^+$ property, from which the existence of a closed $\mathcal{I}$-MED family follows. Joint work with Jialiang He.
高速
池上大祐
孙一鸣
李景荣
彭宁宁
王天浩
庄迦恒
西大楼
南京大学
南京，中国
Delta27 will be held at 西大楼 (West Building), Nanjing University. Please check back for updates on accommodation recommendations and travel directions.
May 22–23, 2026