Xianghui Shi is currently an assistant professor of mathematics at Beijing Normal University.

He graduated in 2006 from UC Berkeley, under the supervision of W. Hugh Woodin.

His research interest is in logic and set theory, focusing on the connection between large cardinals, inner models, forcings and definability structures.


Recent and upcoming talks by Xianghui Shi

Xianghui Shi: Large cardinals and generalized degree structures

Mathematical logic seminar – March 24, 2015 Time:     12:30 – 13:30 Room:     Wean Hall 8201 Speaker:         Xianghui Shi School of Mathematical Sciences Beijing Normal University Title:     Large cardinals and generalized degree structures Abstract: The notion of Turing degree can be generalized to large ordinals, in particular to uncountable cardinals. continue reading…

The 13th Asian Logic Conference, September 16-20, 2013

The Thirteenth Asian Logic Conference will be held in Guangzhou from September 16 to 20, 2013. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic and the meetings are major international events in mathematical logic. continue reading…

Workshop on Iterated Forcing and Large Cardinals, November 12-16, 2012

This workshop will take place at the Fields institute, as a part of the 2012 Thematic Program on Forcing and its Applications. Organizing Committee: Michal Hrusak Saharon Shelah W. Hugh Woodin Show Schedule Monday November 12 9:00-9:50 Tadatoshi Miyamoto (Nanzan University) A study of iterating semiproper forcing 10:00-10:50 David Aspero (Technische Universitaet Wien) 10:50-11:10 Coffee Break 11:10-12:00 Ralf Schindler (WWU Münster) An axiom LUNCH 15:00-15:50 Matteo Viale (University of Torino) Absoluteness of theory of 16:10-17:00 John Krueger (University of North Texas) Forcing with Models as Side Conditions Tuesday November 13 9:00-9:50 Tadatoshi Miyamoto (Nanzan University) A study of iterating semiproper forcing 10:00-10:50 Itay Neeman (University of California, Los Angeles) Higher analogs of the proper forcing axiom 10:50-11:10 Coffee Break 11:20-12:10 Moti Gitik (Tel-Aviv University) A weak generalization of SPFA to higher cardinals. continue reading…

Xianghui Shi: A Posner-Robinson Theorem from Axiom $I_0$

Friday, February 24 from 1:30 to 3pm Fields Institute, Room 210 Speaker: Xianghui Shi (Beijing Normal University) Title: A Posner-Robinson Theorem from Axiom $I_0$ Abstract: Under a slightly stronger version of Axiom $I_0$: there is a *proper* elementary embedding j from $L(V_{\lambda+1})$ to $L(V_{\lambda+1})$ with critical point $<\lambda$, we prove an analog of Perfect Set Theorem in the context of $V_{\lambda+1}$. continue reading…