## Works by Xianghui Shi

4 found
Order:
1. $$I_0$$ I 0 and Combinatorics at $$\lambda ^+$$ Λ +.Nam Trang & Xianghui Shi - 2017 - Archive for Mathematical Logic 56 (1-2):131-154.
We investigate the compatibility of I0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$I_0$$\end{document} with various combinatorial principles at λ+\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda ^+$$\end{document}, which include the existence of λ+\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda ^+$$\end{document}-Aronszajn trees, square principles at λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda$$\end{document}, the existence of good scales at λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda$$\end{document}, stationary reflections (...)
No categories

Export citation

Bookmark   2 citations
2. Axiom I 0 and Higher Degree Theory.Xianghui Shi - 2015 - Journal of Symbolic Logic 80 (3):970-1021.

Export citation

Bookmark   2 citations
3. Scott S. Cramer, Inverse Limit Reflection and the Structure of L_( _V_ _λ+1 ). Journal of Mathematical Logic, Vol. 15 (2015), No. 1, P. 1550001 (38 Pp.). [REVIEW]Xianghui Shi - 2020 - Bulletin of Symbolic Logic 26 (2):170-171.