学术报告

On a quantitative version of universal definition of the integers

发布人:发布时间: 2021-03-24

字体大小: 【小】 【中】 【大】

题目:On a quantitative version of universal definition of the integers

 

报告人:胡勇 副教授 (南方科技大学数学系)

 

摘要:In a 2016 Annals paper, Koenigsmann proved that the ring Z of integers has a first-order universal definition in the field of rational numbers Q. The universal formula obtained by his methods needs more than 400 quantifiers. Following a refined argument of N. Daans, in this lecture we give a sketch of a proof that Z has a universal definition with 38 quantifiers in Q. 

 

时间:2021年3月26日(星期五) 下午 16:00-17:00

 

地点: 数学系西大楼一楼报告厅108

 

邀请人:孙智伟 老师