4月15日,由我校科技处、校科协主办,数学学院承办的“西北大学创新论坛”第一千六百三十八讲在长安校区举行。徐晓泉教授应邀来校为师生作了题为“Dedeking-MacNeille完备化不变性质”的报告。我校相关专业师生代表参加了报告会。
报告中,徐晓泉教授为师生们介绍了数学中序拓扑和序完备化-Dedeking-MacNeille完备化的重要性,并列举了在正规完备化中已保持的一些序和拓扑性质,并给出一些遗留下来的重要问题。接着,他通过序结构的分配性和模性为师生们讲述了Heyting代数和布尔代数上正则完备化的经典案例,并把结构推广到相应的超结构上。
徐晓泉教授耐心生动地解答了师生的提问,并分享了他丰富的科研经历。