https://jasonzeshengchen.github.io/news/announcement_20250228/ 2025-02-28T00:00:00+00:00 https://jasonzeshengchen.github.io/news/announcement_20250727/ 2025-07-27T00:00:00+00:00 https://jasonzeshengchen.github.io/news/announcement_20250805/ 2025-08-05T00:00:00+00:00 https://jasonzeshengchen.github.io/news/announcement_20250918/ 2025-09-18T00:00:00+00:00 https://jasonzeshengchen.github.io/news/announcement_20260219/ 2026-02-19T00:00:00+00:00 https://jasonzeshengchen.github.io/news/announcement_20260223/ 2026-02-23T00:00:00+00:00 https://jasonzeshengchen.github.io/blog/2021/wellordering-of-reals-unmeasurable/ 2021-08-23T15:12:00+00:00 https://jasonzeshengchen.github.io/blog/2022/what-is-difficult-about-forcing/ 2022-01-20T00:00:00+00:00 https://jasonzeshengchen.github.io/blog/2022/hjorth-handbook-remark/ 2022-09-02T00:00:00+00:00 https://jasonzeshengchen.github.io/blog/2023/three-proofs-of-incomp-Turing-degrees/ 2023-04-17T00:00:00+00:00 https://jasonzeshengchen.github.io/blog/2023/reals-in-a-model-null/ 2023-09-26T00:00:00+00:00 https://jasonzeshengchen.github.io/blog/2023/nonisomorphic-linear-order-nonstandard-models/ 2023-10-29T00:00:00+00:00 https://jasonzeshengchen.github.io/blog/2024/coanalytic-thin-sets-and-constructibility/ 2024-12-07T00:00:00+00:00 https://jasonzeshengchen.github.io/blog/2025/blackwell-game-proof-luzin-separation/ 2025-08-16T00:00:00+00:00 https://jasonzeshengchen.github.io/blog/2025/luzin-sierpinski-ordering-origin/ 2025-09-14T00:00:00+00:00 https://jasonzeshengchen.github.io/blog/2025/comeager-null-set-applications/ 2025-12-05T00:00:00+00:00 https://jasonzeshengchen.github.io/blog/2025/alternative-proofs-of-analytic-measurability/ 2025-12-09T00:00:00+00:00 https://jasonzeshengchen.github.io/projects/alfolio1_project/ 2026-04-03T01:44:33+00:00 https://jasonzeshengchen.github.io/projects/alfolio2_project/ 2026-04-03T01:44:33+00:00 https://jasonzeshengchen.github.io/projects/alfolio3_project/ 2026-04-03T01:44:33+00:00 https://jasonzeshengchen.github.io/projects/alfolio4_project/ 2026-04-03T01:44:33+00:00 https://jasonzeshengchen.github.io/projects/alfolio5_project/ 2026-04-03T01:44:33+00:00 https://jasonzeshengchen.github.io/projects/alfolio6_project/ 2026-04-03T01:44:33+00:00 https://jasonzeshengchen.github.io/research/DST_history/ 2026-04-03T01:44:33+00:00 https://jasonzeshengchen.github.io/research/confluence_arguments/ 2026-04-03T01:44:33+00:00 https://jasonzeshengchen.github.io/research/metamathematical_methods/ 2026-04-03T01:44:33+00:00 https://jasonzeshengchen.github.io/teaching/Fudan2022/ 2026-04-03T01:44:33+00:00 https://jasonzeshengchen.github.io/teaching/LevySolovayREU2021/ 2026-04-03T01:44:33+00:00 https://jasonzeshengchen.github.io/ https://jasonzeshengchen.github.io/chinese-notes/ https://jasonzeshengchen.github.io/cv/ https://jasonzeshengchen.github.io/_pages/dropdown/ https://jasonzeshengchen.github.io/news/ https://jasonzeshengchen.github.io/notes/ https://jasonzeshengchen.github.io/portfolio/ https://jasonzeshengchen.github.io/presentations/ https://jasonzeshengchen.github.io/projects/ https://jasonzeshengchen.github.io/publications/ https://jasonzeshengchen.github.io/repositories/ https://jasonzeshengchen.github.io/research/ https://jasonzeshengchen.github.io/_pages/research_dropdown/ https://jasonzeshengchen.github.io/teaching/ https://jasonzeshengchen.github.io/blog/tag/math/ https://jasonzeshengchen.github.io/blog/tag/set-theory/ https://jasonzeshengchen.github.io/blog/tag/measure-and-category/ https://jasonzeshengchen.github.io/blog/tag/expository/ https://jasonzeshengchen.github.io/blog/tag/lolbvious/ https://jasonzeshengchen.github.io/blog/tag/descriptive-set-theory/ https://jasonzeshengchen.github.io/blog/tag/games/ https://jasonzeshengchen.github.io/blog/tag/history/ https://jasonzeshengchen.github.io/blog/tag/forcing/ https://jasonzeshengchen.github.io/blog/tag/recursion-theory/ https://jasonzeshengchen.github.io/blog/2021/ https://jasonzeshengchen.github.io/blog/2022/ https://jasonzeshengchen.github.io/blog/2023/ https://jasonzeshengchen.github.io/blog/2024/ https://jasonzeshengchen.github.io/blog/2025/ https://jasonzeshengchen.github.io/chinese-notes/fudan_forcing_seminar_July22.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/chinese-notes/infinity_paradox_chinese.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/notes/April_13_2023_Perfect_set_theorems_LPS206.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/notes/Fudan_Summer_2022_Prereq.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/notes/LPS30_decision_tree.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/notes/Measurable_Cardinal_Elem_Emb.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/notes/Nov_22_2022_Sigma11_normal_form_norms_prewellorderings.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/notes/forcing_ground_axiom.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/notes/intro_to_inaccessibility.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/notes/largest_thin_set_as_a_sharp.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/notes/mouse_set_capturing.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/notes/no_borel_2_coloring.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/presentations/Chen_2026_ASL_Central_APA.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/presentations/infinity_paradox_chinese.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/presentations/justification_by_confluence_pku_2024.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/presentations/metamath_in_DST_Fudan_2024.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/presentations/practical_CTT_APA_Central_2025.pdf 2026-04-03T01:43:41+00:00 https://jasonzeshengchen.github.io/presentations/prehistory_IDST_Fudan_2024.pdf 2026-04-03T01:43:41+00:00