AI 中文总结
该研究汇编了2026年天元可定义性与计算研讨会问题环节提出的数理逻辑开放问题，按贡献者章节组织，记录者为代伟等7人。
AI 中文摘要
这些开放问题是在2026年6月22日至26日举办的天元可定义性与计算研讨会上的问题环节中提出的，问题按贡献者命名的章节组织，顺序与研讨会期间的展示顺序一致，笔记由代伟、胡祥熙、江莹莹、李瑞文、王天昊、王旭和邹杰记录并汇编。
英文摘要
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.
