$\omega$ $\aleph$ $\infty$
Mathematical Logic at Fudan

Current and Upcoming

May 27. The Model Theory Workshop @ Shanghai 2017 will be held at Fudan University. Program (updated on May 23) Website

March 11. The $\Delta_6$ Workshop will be held at Sun Yat-sen University. Website

Past activities

2016 Events

December 21. Dr Jan Dobrowolski will give a talk on Polish Structures. Hours: 16:00. Location: West Guanghua Tower 2403. Poster

December 17. The Fifth Delta Logic Workshop will be held at Jiangsu University. Website

December 16. Professor Difei Xu will give a talk on "Neo-Fregean Ontology". Hours: 13:30-15:00. Location: West Guanghua Tower 2403. Poster

October 25. Dr. Keita Yokoyama will give a talk on "Reverse mathematics, proof-theoretic strength and program termination". Hours: 14:00-16:00. Location: West Guanghua Tower 2403. Poster Slides

October 22. The Fourth Delta Logic Workshop will be held at Nanjing University. Website

Sept 21. Dr. Zhu Huiling will give a talk on Forcing Axioms. Hours: 14:30-16:30. Location: West Guanghua Tower 2403.

Jun 8. Dr. Yi Wang will give a talk on the models of knowledge updating. Poster Slides

May 21-22, 2016 Chinese mathematical logic conference (2016全国数理逻辑研讨会) will be held at Fudan University. Website Poster Program

April 22. Prof. Beishui Liao will give a talk on nonmonotonic logic and formal argument. Poster

March 26. The Third Delta Logic Workshop will be held at Beijing Normal University. Website

2015 Events

December 12-13, 2015 philosophy of mathematics colloquium and the second phenomenology and philosophy of mathematics colloquium (2015年数学哲学学术讨论会暨第二届现象学与数学哲学研讨会) will be held at Fudan University. Website Program

December 5. The Second Delta Logic Workshop will be held at Fudan University. Webpage Poster.

November 10. Dr. Sen Yang from Inner Mongolia University will give a talk on "Weak extender models of set theory" Poster.

October 20 and 21. Dr. Liuzhen Wu from Chinese academy of science will give two talks Poster.

October 10. The First Delta Logic Workshop will be held at Nanjing University. Website

September 4 and 5. Dr. Sen Yang from Inner Mongolia University will give two talks Poster.

May 8. Professor Zhaokuan Hao will give a talk titled The conflict on the conception of logic and the contemporary foundation of mathematics, and professor Feng Ye from Capital Normal University will give a critical comment. Poster.

April 17. Dr. Ningyuan Yao from Sun Yat-Sen University will give a talk titled Model Theory: From Truth to Stability.

2013 Events

Professor Zhaokuan Hao and Ruizhi Yang will attend 2013 Philosophy of Mathematics and Culture of Mathematics Conference hosted by Peking University from October 26 to 27 and contribute talks.

October 16. Professor Zhaokuan Hao: On complexity of non-measurable sets. Link. Slides.

Ruizhi Yang will contribute a talk on "nonabsoluteness of mathematical truth" during the 13th Asian Logic Conference. This is a joint work with Professor Joel D. Hamkins. Slides.

June 11 - June 22. Professor Joel D. Hamkins has visited Fudan. Events.

June 15. 2013 Workshop on Metamathematics and Metaphysics

April 24. Mark Steiner (Hebrew University of Jerusalem): Getting more out of mathematics than we put in. Poster.

2012 Events

December 12. Brent Cody: Strong axioms of infinity and the continuum function. Slides. Poster.

December 4. Brent Cody: What are strong axioms of infinity and why are they useful in mathematics? Slides. Poster.

March 20. Ruizhi Yang: How does philosohpy impact on mathematcs? Slides. Poster.