Expansions of ordered Abelian groups by unary predicates

Abstract: I will talk about some recent results on model-theoretic tameness properties of expansions of ordered Abelian groups by unary predicates. In particular, I will discuss properties such as (strongly) NIP, having finite dp-rank, and dp-minimality and how these relate to topological and arithmetic properties of sets definable in the structure. Furthermore I will present some ongoing work on quantifier elimination for expansions of regular ordered abelian groups by a predicate for a dense subgroup.

commutative algebragroup theorylogicrings and algebras

Audience: researchers in the topic

Online logic seminar

Series comments: Description: Seminar on all areas of logic