I am working at the school of philosophy at Fudan University. My major is the philosophy of mathematics, and I am interested in mathematical logic, especially set theory.
14 How to prove projective determinacy (PD) from I0? Nov 14 '11
7 Why “adding” a single extender cannot give an L-like inner model for say, a strong cardinal? Oct 29 '11
5 Why relative consistency results by forcing arguments are provable in finitistic metatheory Jun 23
1 A (seem to be) elementary logic question Mar 26 '13