Graduate model theory seminar


February 28, 2018, 4:00pm-4:50pm, MS 5233
Speaker: Riley Thornton (UCLA)
Title: Dense pairs of o-minimal theories.
Abstract: This will be the seventh talk in a series about the paper "Dense pairs of o-minimal structures" by Lou van den Dries.

February 28, 2018, 3:00pm-3:50pm, MS 5233
Dense pairs discussion section.

February 21, 2018, 4:00pm-4:50pm, MS 5233
Speaker: Dean Menezes (UCLA)
Title: Dense pairs of o-minimal theories.
Abstract: This will be the sixth talk in a series about the paper "Dense pairs of o-minimal structures" by Lou van den Dries.

February 21, 2018, 3:00pm-3:50pm, MS 5233
Dense pairs discussion section. Dense pairs notes

February 14, 2018, 4:00pm-4:50pm, MS 5233
Speaker: Madeline Barnicle (UCLA)
Title: Dense pairs of o-minimal theories.
Abstract: This will be the fifth talk in a series about the paper "Dense pairs of o-minimal structures" by Lou van den Dries.

February 14, 2018, 3:00pm-3:50pm, MS 5233
Dense pairs discussion section.

February 7, 2018, 4:00pm-4:50pm, MS 5233
Speaker: Alex Mennen (UCLA)
Title: Dense pairs of o-minimal theories.
Abstract: This will be the fourth talk in a series about the paper "Dense pairs of o-minimal structures" by Lou van den Dries.

February 7, 2018, 3:00pm-3:50pm, MS 5233
Dense pairs discussion section.

January 31, 2018, 4:00pm-4:50pm, MS 5233
Speaker: Bar Roytman (UCLA)
Title: Dense pairs of o-minimal theories.
Abstract: This will be the third talk in a series about the paper "Dense pairs of o-minimal structures" by Lou van den Dries.

January 31, 2018, 3:00pm-3:50pm, MS 5233
Pregeometry Party! (Dense pairs discussion section.)

January 24, 2018, 4:00pm-4:50pm, MS 5233
Speaker: Kevin Matthews (UCLA)
Title: Dense pairs of o-minimal theories.
Abstract: This will be the second talk in a series about the paper "Dense pairs of o-minimal structures" by Lou van den Dries.

January 24, 2018, 3:00pm-3:50pm, MS 5233
Dense pairs discussion section.

January 17, 2018, 4:00pm-4:50pm, MS 5233
Speaker: Riley Thornton (UCLA)
Title: Dense pairs of o-minimal theories.
Abstract: This will be the first talk in a series about the paper "Dense pairs of o-minimal structures" by Lou van den Dries.

January 10, 2018, 4:00pm-4:50pm, MS 5233
Speaker: Elliot Kaplan (UIUC)
Title: An introduction to $HT$-fields (slides)
Abstract: In this talk, I will introduce the class of $HT$-fields. Let $T$ be an o-minimal theory extending the theory of ordered fields and let $K$ be a model of $T$ which is also equipped with a nontrivial derivation $x \mapsto x'$, making it an $H$-field (a particularly nice type of ordered differential field). We require that this derivation interact nicely with the o-minimal structure on $K$. The class of $H$-fields has been thoroughly explored by Aschenbrenner, van den Dries, and van der Hoeven. I will establish some analogues of their results on $H$-fields for the class of $HT$-fields and discuss my ongoing work.

January 10, 2018, 3:30pm-3:50pm, MS 5233
Organizational meeting for the winter quarter.

December 13, 2017, 4:00pm-4:50pm, MS 6229
Speaker: Allen Gehret (UCLA)
Title: o-minimal and P-minimal structures
Abstract: In this talk I will survey o-minimal structures, P-minimal structures, and discuss the analogy between the two.

December 7, 2017, 4:00pm-4:50pm, MS 5137 [Talk cancelled due to classes cancelled]
Speaker: Allen Gehret (UCLA)
Title: o-minimal and P-minimal structures
Abstract: In this talk I will survey o-minimal structures, P-minimal structures, and discuss the analogy between the two.

November 30, 2017, 4:00pm-4:50pm, MS 5137
Speaker: Artem Chernikov (UCLA)
Title: Generic expansions of NSOP1 theories, after Kruckman-Ramsey and Jeřábek
Abstract: The class of NSOP1 theories was introduced by Shelah. It provides a proper generalization of the class of simple theories, contains new interesting algebraic and combinatorial examples, and still admits a reasonable theory of independence generalizing forking independence in simple theories. We will discuss recent results of Kruckman-Ramsey and Jeřábek which demonstrate that various generic expansions of a theory preserve the NSOP1 property (e.g., every NSOP1 theory eliminating the infinite quantifier has an NSOP1 expansion with definable Skolem functions).