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

### Workshop on Metamathematics and Metaphysics

June 15, 2013. 2401 West Guanghua Tower. Poster.

Introduction

The Meta-Meta workshop intended to bring together scholars and graduate students who are working on or interested in the issues concerning the foundation of mathematics. Many works on mathematical logic are originally motivated by metamathematics, i.e. studying mathematics itself using mathematical methods. However, it turns out that many issues concerning the foundation of mathematics cannot be solved using purely mathematical arguments. The solutions of some natural mathematical problems, say the Continuum Hypothesis, seem to conceal themselves in some delicate philosophical questions. Meanwhile, a philosophical argument will not make sense if it ignore the contemporary developments in mathematical logic. The workshop will offer scholars and students opportunity to present, discuss, and receive feedback on their recent research and thinking on the related topics.

Program

 9:30 - 9:40 Openning Zhaokuan Hao 9:40 - 10:30 A multiverse perspective in mathematics and set theory: does every mathematical statement have a definite truth value? Slides Joel David Hamkins 10:30 - 10:40 Break (Photography) 10:40 - 11:30 A survey on the Borelness of the intersection operation. Slides Longyun Ding 11:30 - 12:20 Embeddings of $P(\omega)/\textrm{Fin}$ into Equivalence Relations between $\ell_p$ and $\ell_q$. Slides Zhi Yin 12:20 - 13:30 Lunch 13:30 - 14:20 On Strong $\Pi^1_1$-Martin-Löf randomness. Slides Liang Yu 14:20 - 15:10 Some metamathematics of Ramsey theory. Slides Wei Wang 15:10 - 15:20 Break 15:20 - 16:10 Classical Theorems in Reverse Recursion and $\alpha$-Recursion. Slides Wei Li 16:10 - 17:00 Panel Discussion. Slides 17:30 Dinner

Committee

Zhaokuan Hao, School of Philosophy, Fudan University
Liang Yu, Department of Mathematics, Nanjing University

Contacts

Ruizhi Yang
yangruizhi (at) fudan.edu.cn
School of Philosophy, Fudan University