中科院数学与系统科学研究院
数学研究所
学术报告
数理逻辑研讨班
报告人：Gianluca Paolini（University of Torino）
题 目：First-Order Aspects of Coxeter Groups
时 间：2022.12.02（星期五）16:00-18:00
地 点：腾讯会议: 449-0862-2675
摘 要：Since the work of Sela, and Kharlampovich & Myasnikov on Tarski’s problem for non-abelian free groups, the model theoretic analysis of classes of groups arising from combinatorial and geometric group theory has seen crucial advancements. The work that I am going to present is in this tradition, and it presents a model-theoretic study of an important class of finitely presented groups known as Coxeter groups. Specifically, I will present an overview of my paper joint with B. Mühlherr and S. Shelah on the first-order model theory of Coxeter groups (J. Algebra 595 (2022), 297-346), and then talk about recent developments on the same subject in an ongoing joint project with R. Sklinos.