Programs

November 25, 2022

• 14:00
• 14:00 20:00
  会议报到（Registration）

November 26, 2022

• 08:20
• 08:20 08:40
  开幕式(Opening Ceremony)云合影(Group Photo)

  Tencent Meeting ID:735 8316 5465
• 08:40
• 08:40 09:40
  Many Levels of Infinities and Multidimension van der Waerden’s Theorem

  金人麟(Renling Jin)

  Zoom Meeting ID:833 0653 1233
• 09:40
• 09:40 10:00
  茶歇(Tea Break)
• 10:00
• 10:00 11:00
  A Robuster Scott Rank

  Antonio Montalban

  Zoom Meeting ID:833 0653 1233
• 11:00
• 11:00 11:40
  Free structures and limiting density

  何孟哲（Meng-Che "Turbo" Ho）

  Zoom Meeting ID:833 0653 1233
• 11:00 11:40
  Logical approaches to the Cops and Robber game

  李大柱(Dazhu Li)

  Tencent Meeting ID:735 8316 5465
• 14:30
• 14:30 15:30
  Ideals, Ultrafilters and Cardinal Invariants of the Continuum

  张树果(Shuguo Zhang）

  Zoom Meeting ID:833 0653 1233
• 15:30
• 15:30 16:30
  A Dual Ramsey Theorem for Finite Trees

  Stevo Todorcevic

  Zoom Meeting ID:833 0653 1233
• 16:30
• 16:30 16:50
  茶歇(Tea Break)
• 16:50
• 16:50 17:30
  How far is strong compactness from almost strong compactness

  袁嘉辰(Jiachen Yuan)

  Zoom Meeting ID:833 0653 1233
• 16:50 17:30
  Fields interpretable in nonabelian free groups

  Rizos Sklinos

  Tencent Meeting ID:735 8316 5465
• 17:30
• 17:30 18:30
  Applied Model Theory beyond first order

  Boris Zilber

  Zoom Meeting ID:833 0653 1233

November 27, 2022

• 08:20
• 08:20 09:00
  MA$_{\omega_1}(S)[S]$ does not imply $\mathcal{K}_2$

  彭银河(Yinhe Peng)

  Zoom Meeting ID:833 0653 1233
• 08:20 09:00
  Examining the Fundamental Theorem of World Theory in Modal Logics with Propositional Quantifiers

  丁一峰(Yifeng Ding)

  Tencent Meeting ID:735 8316 5465
• 09:00
• 09:00 09:40
  Nonstandard Methods for Statistics

  David Schrittesser

  Zoom Meeting ID:833 0653 1233
• 09:00 09:40
  数学多元论与万象有穷集

  杨睿之(Ruizhi Yang)

  Tencent Meeting ID:735 8316 5465
• 09:40
• 09:40 10:00
  茶歇(Tea Break)
• 10:00
• 10:00 10:40
  Around definable types in p-adically closed fields

  William Johnson

  Zoom Meeting ID:833 0653 1233
• 10:00 10:40
  Integer-valued martingales and cl-reductions

  方楠(Nan Fang)

  Tencent Meeting ID:735 8316 5465
• 10:40
• 10:40 11:20
  On Algebraicity of definable groups over the field of $p$-adic numbers

  姚宁远(Ningyuan Yao)

  Zoom Meeting ID:833 0653 1233
• 10:40 11:20
  An Investigation of the Rademacher series with Algorithmic Randomness

  谢若非(Ruofei Xie)

  Tencent Meeting ID:735 8316 5465
• 11:20
• 11:20 12:00
  数理逻辑发展讨论

  Tencent Meeting ID:735 8316 5465