Logo

Mathematical Sciences Research Institute

Home » DDC - Model Theory Seminar: Morley sequences and quantifier elimination in valuational weakly o-minimal structures

Seminar

DDC - Model Theory Seminar: Morley sequences and quantifier elimination in valuational weakly o-minimal structures December 14, 2020 (08:00 AM PST - 09:00 AM PST)
Parent Program:
Location: MSRI: Online/Virtual
Speaker(s) Jana Marikova (Western Illinois University)
Description

To participate in this seminar, please register here: https://www.msri.org/seminars/25206

Video

Morley Sequences And Quantifier Elimination In Valuational Weakly O-Minimal

Abstract/Media

To participate in this seminar, please register here: https://www.msri.org/seminars/25206

Abstract: We consider o-minimal groups expanded by a valuational cut and identify a condition which implies quantifier elimination.  Furthermore, we discuss some examples showing the limitations of our result.  This is joint work with C. Ealy.  

 

No Notes/Supplements Uploaded

Morley Sequences And Quantifier Elimination In Valuational Weakly O-Minimal

H.264 Video 25437_28995_8682_Morley_Sequences_and_Quantifier_Elimination_in_Valuational_Weakly_O-Minimal_Structures.mp4