1. 典范模型上的典范幂集(中山大学)
时间:2025/11/25 10:00
链接:https://mp.weixin.qq.com/s/9t4It1-bZzuc3Gaqai7K5g
2. Halpern-Lauchli 定理的两个证明(中山大学)
时间:2025/11/25 15:00
链接:https://mp.weixin.qq.com/s/PfX0rHX9Jmi8RMSPdFqRDw
3. 反推数学与拉姆塞型定理(中山大学)
时间:2025/11/27 15:00
链接:https://mp.weixin.qq.com/s/-inUOCUpRLxb0G7ze0AiMg
4. Possible failures of generic differentiability in topologically tame settings (复旦大学)
时间:2025/11/27 15:15
链接:https://mp.weixin.qq.com/s/eLnsEdtN_omFpYI4U-vW8w
了解每周数理逻辑活动,也可发邮件至