報告人: 趙東升教授、吳國華教授、奚小勇副教授
講座日期：2019-12-23
講座時間：9:00-11:30、15:00
報告地點：長安校區 數學與信息科學學院學術交流廳
主辦單位：數學與信息科學學院學院
報告題目1：Johnstone's dcpo and related structures
報告人: 趙東升教授
講座日期：2019-12-23
講座時間：9:00-10:00
講座人簡介：
趙東升，新加坡南洋理工大學教授。1981年畢業于陜西師范大學數學系，次年在我國著名數學家，陜西師范大學王國俊先生指導下攻讀拓撲專業碩士學位。1988年赴英國劍橋大學攻讀博士，師從英國著名數學家Peter Johnstone。1993年獲得劍橋大學博士學位。1994年至今在新加坡南洋理工大學國立教育學院從事教學、研究。研究方向：拓撲，序理論，廣義積分及Bair函數類，研究成果卓著，在《Proc. of American Mathematical Society》、《Fundamenta Mathematicae》、《Applied Categorical Structures》、《Canadian Mathematical Bulletin》、《Houstone Journal of Mathematics》、《Rocky Mountain Journal of Mathematics》、《Quaestiones Mathematicae》，《Comment. Math. Univ. Carolinae》、 《Journal of Mathematical Analysis and Applications》等數學名刊上均有論文發表，所發表論文被國外眾多專家學者引用，其中一篇論文獲2000年ISI世界經典引文獎（Citation Classic Award）。
講座簡介：
Johnstone constructed the first dcpo whose Scott space is not sober. This dcpo has many other special features and has been used in several parts of domain theory. In this talk, I will present a survey on the problems and structures related to this dcpo.
報告題目2：環論中幾個重要定理證明的邏輯思考
報告人: 吳國華教授
講座日期：2019-12-23
講座時間：10:30-11:30
講座人簡介：
吳國華，新加坡南洋理工大學教授，研究集中在數理邏輯領域，包括集合論，可計算性理論和能行數學。2003年獲新西蘭皇家學院頒發的年度Hatherton獎。承擔新加坡教育部研究項目多項，主持與參與國家自然科學基金重點項目，國際交流合作項目多項，發表論文60余篇，近期致力于反推數學研究。
講座簡介：
環論中許多定理的證明都用了佐恩引理，如極大理想的存在性證明，極小素理想的存在性證明，內射模的Baer準則證明，等等。分配格中有類似的結論，證明同出于一宗。我們在報告里將給出可數情形下這些定理的無佐恩證明，并從公理系統的角度分析這些定理的邏輯強度。我們還將以Domain理論里的Rudin引理作為示范，介紹這一思想。
報告題目3：Some New Results on the Interlinks between Order and Topology via Domain Theory
報告人: 奚小勇副教授
講座日期：2019-12-23
講座時間：15:00-16:00
講座人簡介：
奚小勇，副教授，新加坡南洋理工大學Research Fellow。主要從事拓撲學與Domain理論的研究，發表論文20多篇，完全或部分解決了Domain理論領域內若干公開問題，如Amadio-Curien問題，Ho-Zhao問題等。
講座簡介：
In the talk , we will report our recent joint work:
(1) Joint with Wu Guohua, Zhao Dongsheng, Xu Xiaoquan, in terms of a method introduced by Keimel and Lawson for the d-completion, we established the well-filteredfication, which answers an open problem posed by Lawson;
(2) Joint with Lawson, Wu Guohua, we give a positive answer to Jia-Jung Problem: the core compact and well filtered T0 spaces are sober. Finally, we will pose some derived problems to discuss with Domain theory community.
