Midwest Model Theory Seminar
Jana Marikova
KGRC, Vienna
Quantifier elimination for o-minimal groups expanded by a valuational cut
Abstract: We let R be an o-minimal expansion of a group in a language in which Th(R) eliminates quantifiers, and we let C be a valuational cut in R. We show that if nonforking in certain Morley sequences is symmetric, then the theory of R expanded by a predicate for C and a small number of constants eliminates quantifiers. This is a generalization of results on o-minimal fields with convex subrings satisfying some extra conditions such as T-convexity or o-minimality of the residue field. This is joint work with C. F. Ealy.
The talk is aimed at graduate students in model theory.
This meeting will be using Cisco Webex - please write an email to jfreitag@uic.edu or mem@math.uchicago.edu to be put on the mailing list with login information.
To be added to the mailing list for future seminar announcements, please email jfreitag@uic.edu
Tuesday September 8, 2020 at 3:00 PM in Cisco Webex