Publications
Guozhen Shen, Generalizations of Cantor's theorem in ZF, Mathematical Logic Quarterly 63(5), 428–436 (2017).
Guozhen Shen and Jiachen Yuan, Factorials of infinite cardinals in ZF Part I: ZF results, The Journal of Symbolic Logic 85(1), 224–243 (2020).
Guozhen Shen and Jiachen Yuan, Factorials of infinite cardinals in ZF Part II: consistency results, The Journal of Symbolic Logic 85(1), 244–270 (2020).
Guozhen Shen, A note on strongly almost disjoint families, Notre Dame Journal of Formal Logic 61(2), 227–231 (2020).
Guozhen Shen, A choice-free cardinal equality, Notre Dame Journal of Formal Logic 62(3), 577–587 (2021).
Guozhen Shen, Remarks on infinite factorials and cardinal subtraction in ZF, Mathematical Logic Quarterly 68(1), 67–73 (2022).
Guozhen Shen, The power set and the set of permutations with finitely many non-fixed points of a set, Mathematical Logic Quarterly 69(1), 40–45 (2023).
Guozhen Shen, On a cardinal inequality in ZF, Mathematical Logic Quarterly 69(4), 417–418 (2023).
Yinhe Peng and Guozhen Shen, A generalized Cantor theorem in ZF, The Journal of Symbolic Logic 89(1), 204–210 (2024).
Guozhen Shen, Cantor's theorem may fail for finitary partitions, accepted in The Journal of Symbolic Logic (2024).
Yinhe Peng, Guozhen Shen, and Liuzhen Wu, Mapping the square of an infinite set onto its powerset, submitted (2024), arXiv:2207.13300.