CN EN

理学院2018-2019学年冬季第一周学术报告(8)


学 术 报 告


报告题目:Counting mod n in pseudo-finite fields


报告学者:William Johnson


报告者单位:美国加州大学伯克利分校


报告时间:2019年1月25日10:00---11:00


报告地点:思西105室


报告摘要:   In an ultraproduct of finite fields, definable sets have non-standard "sizes."  When reduced mod n, these "sizes" vary definably in families, due to a combination of model theory and algebraic geometry.  We discuss some aspects of the proof, focusing on the model-theoretic side.  An unexpected corollary of the proof is the decidability of the theory of finite fields in first-order logic expanded with parity quantifiers and mod n quantifiers.


报告者简介:William Johnson,2016年获得美国加州大学伯克利分校博士,2009年Putnam数学竞赛前五名,2016年获得Sacks奖。Sacks奖每年颁发给当年数理逻辑方向全球最佳博士论文。研究领域是数理逻辑的模型论及其在域中的应用,发表学术论文多篇。目前是美国国家自然基金NSF资助的博士后,在Berkeley和复旦大学工作。


主办教师:宋诗畅

欢迎广大同学老师积极踊跃参加!