Quantifier elimination, axiomatization, and dp-rank in pairs of ordered Abelian groups
发布时间：2026年11月13日
浏览次数：121
发布者: Jing Liu
主讲人： John Goodrick (Universidad de los Andes)
活动时间： 从 2026-11-17 16:00 到 17:00
场地： Room 9, Quan Zhai, BICMR
Abstract:
Generalizing classic results of Szmielew for Abelian groups, we give a language for quantifier elimination in any complete theory of a torsion-free Abelian group with a unary predicate for a subgroup. Then we consider the case when there is an additional predicate for a linear ordering, and in some cases we can axiomatize the complete theories, eliminate quantifiers, and compute dp-ranks. This is recent joint work with Alfred Dolich.
Venue:Quan 9
Zoom: 717 463 6082
