本網訊（通訊員申國桢）2月25日，由beat365体育官网主辦的第18屆德爾塔邏輯學工作坊(Delta_18 Logic Workshop)在振華樓B214報告廳順利舉辦。來自中國科學院、清華大學、南京大學、南開大學、哈爾濱工業大學、四川大學等高校的20餘位老師和同學參加了此次工作坊，就相關課題進行了熱烈的讨論。工作坊邀請到中國科學院軟件研究所方楠助理研究員、四川大學哲學系劉佶鑫副研究員、中國科學院數學與系統科學研究院彭銀河副研究員、哈爾濱工業大學David Schrittesser教授、南開大學肖鳴博士、浙江科技學院章騰博士來做邏輯學、哲學、數學、計算機科學等學科交叉相關的前沿報告。

中國科學院軟件研究所方楠助理研究員為大家帶來了題為Integer-valued martingales and cl-Turing reductions的報告。在報告中，他介紹了近期在遞歸論和算法随機性領域所做的工作。報告的主要結果是通過cl圖靈歸約刻畫IVR鞅，進而深入探索了整值鞅的性質。

四川大學哲學系劉佶鑫副研究員為大家帶來了題為Someone knows that local reasoning on hypergraphs is weakly aggregative的報告。在報告中，他介紹了四個主要話題：超圖、不滿足聚合公理的非正規模态邏輯、局部推理、模态詞“某人知道”，以及它們之間的微妙聯系。

中國科學院數學與系統科學研究院彭銀河副研究員為大家帶來了題為Applications of inner and outer approach in selection principles的報告。在報告中，他介紹了集論拓撲中内方法和外方法的若幹應用，尤其是對于涉及選擇原理的多個公開問題的解答。

哈爾濱工業大學David Schrittesser教授為大家帶來了題為Definability and madness的報告。在報告中，他介紹了與合作者證明的重要定理“每個集合都有拉姆塞性質蘊含不存在mad族”（2019年發表于美國科學院院報）的證明，以及這個定理對于高維mad族的推廣。

南開大學肖鳴博士為大家帶來了題為Borel order dimension的報告。在報告中，他介紹了Dushnik和Miller在1941年提出的序維度的概念，并研究了Borel偏序的Borel序維度的概念和性質。

浙江科技學院章騰博士為大家帶來了題為Additive and multiplicative structure on combinatorial notions的報告。在報告中，他介紹了加法組合領域中的一些研究課題，以及他對Goswami工作的推廣。

現場展開了熱烈的讨論，大家都認為本次工作坊為不同學科領域中的邏輯學工作者提供了良好的學習與交流的機會。

（編輯：鄧莉萍 審稿：劉慧）