Graduate model theory seminar


June 3, 2019, 4:00pm-4:50pm, MS 7608
Speaker: Alex Mennen (UCLA)
Title: Partial results on dp-finite fields.
Abstract: This will be the seventh talk on Will Johnson's preprint "Partial results on dp-finite fields" (link to paper).

May 27, 2019, no seminar (Memorial Day)

May 20, 2019, 4:00pm-4:50pm, MS 7608
Speaker: Nick Ramsey (UCLA)
Title: Partial results on dp-finite fields.
Abstract: This will be the sixth talk on Will Johnson's preprint "Partial results on dp-finite fields" (link to paper).

May 13, 2019, 4:00pm-4:50pm, MS 7608
Speaker: Aaron Anderson (UCLA)
Title: Partial results on dp-finite fields.
Abstract: This will be the fifth talk on Will Johnson's preprint "Partial results on dp-finite fields" (link to paper).

May 10, 2019, 2:00pm-3:30pm, MS 6221
Speaker: Michał Tomasz Godziszewski (University of Warsaw)
Title: Models of locally disquotational theory of truth.
Abstract: We analyse the (non)conservativeness properties of the classical locally disquotational theory of typed arithmetic truth $TB$. and investigate its model-theoretic strength w.r.t the class of recursively saturated models of arithmetic. We strengthen and generalise Cieslinski-Engstrom theorem on semantic (model-theoretic) non-conservativeness of $TB$ over $PA$ to a new result stating that $TB$ is not semantically conservative over any complete extension of $PA$, including the True Arithmetic $TA$ ($= Th(\mathbb{N})$). Cieslinski's and Engstrom's proof was insufficient to justify the latter and our proof provides a new argument that can be useful in further investigations of properties of axiomatic theories of truth. In the second part of the paper we separate the class of models of arithmetic expandable to a model of $TB$ from the class of recursively saturated models, providing a new and conceptually simple proof of a result due to Łełyk and Wcisło and contributing to the research in the hierarchy of model-theoretic strength of axiomatic truth theories.

May 6, 2019, 4:00pm-4:50pm, MS 7608
Speaker: Nadja Hempel (UCLA)
Title: Partial results on dp-finite fields.
Abstract: This will be the fourth talk on Will Johnson's preprint "Partial results on dp-finite fields" (link to paper).

April 29, 2019, 4:00pm-4:50pm, MS 7608
Speaker: Julian Ziegler Hunts (UCLA)
Title: Partial results on dp-finite fields.
Abstract: This will be the third talk on Will Johnson's preprint "Partial results on dp-finite fields" (link to paper).

April 22, 2019, 4:00pm-4:50pm, MS 7608
Speaker: Nick Ramsey (UCLA)
Title: Partial results on dp-finite fields.
Abstract: This will be the second talk on Will Johnson's preprint "Partial results on dp-finite fields" (link to paper).

April 15, 2019, 4:00pm-4:50pm, MS 6221
Speaker: Artem Chernikov (UCLA)
Title: Partial results on dp-finite fields.
Abstract: This will be the first talk on Will Johnson's preprint "Partial results on dp-finite fields" (link to paper).

March 11, 2019, 4:00pm-4:50pm, MS 5203
Speaker: Nadja Hempel (UCLA)
Title: Group configuration and definable groups in pseudo finite fields.
Abstract: I will go over a general version of the group configuration and show how to use it to analyze definable groups in pseudo finite fields.

March 11, 2019, 3:00pm-3:50pm, MS 5203
Differential fields and Morley rank discussion section.

March 4, 2019, 4:00pm-4:50pm, MS 5203
Speaker: Nick Ramsey (UCLA)
Title: Groups and fields definable in DCF_0
Abstract: We will discuss which groups and fields are definable in DCF_0. Just how much we prove will depend on time, but we will at least gesture at the proof that every definable group is definable isomorphic to an algebraic group and every definable field is definable isomorphic to either the whole field or the constants.

March 4, 2019, 3:00pm-3:50pm, MS 5203
Differential fields and Morley rank discussion section.

February 25, 2019, 4:00pm-4:50pm, MS 5203
Speaker: Allen Gehret (UCLA)
Title: Definability of derivations in the reducts of differentially closed fields.
Abstract: This will be the sixth talk on the paper "Definability of Derivations in the Reducts of Differentially Closed Fields" (link to paper) by Vahagn Aslanyan.

February 25, 2019, 3:00pm-3:50pm, MS 5203
Differential fields and Morley rank discussion section.

February 11, 2019, 4:00pm-4:50pm, MS 5203
Speaker: Aaron Anderson (UCLA)
Title: Definability of derivations in the reducts of differentially closed fields.
Abstract: This will be the fifth talk on the paper "Definability of Derivations in the Reducts of Differentially Closed Fields" (link to paper) by Vahagn Aslanyan.

February 11, 2019, 3:00pm-3:50pm, MS 5203
Differential fields and Morley rank discussion section.

February 4, 2019, 4:00pm-4:50pm, MS 5203
Speaker: Alex Mennen (UCLA)
Title: Definability of derivations in the reducts of differentially closed fields.
Abstract: This will be the fourth talk on the paper "Definability of Derivations in the Reducts of Differentially Closed Fields" (link to paper) by Vahagn Aslanyan.

January 28, 2019, 4:00pm-4:50pm, MS 5203
Speaker: Madeline Barnicle (UCLA)
Title: Definability of derivations in the reducts of differentially closed fields.
Abstract: This will be the third talk on the paper "Definability of Derivations in the Reducts of Differentially Closed Fields" (link to paper) by Vahagn Aslanyan.

January 28, 2019, 3:00pm-3:50pm, MS 5203
Differential fields and Morley rank discussion section.

January 18, 2019, 10:00am-10:50am, MS 7608
Differential fields and Morley rank discussion section.

January 16, 2019, 10:00am-10:50am, MS 7608
Differential fields and Morley rank discussion section.

January 14, 2019, 4:00pm-4:50pm, MS 5203
Speaker: Julian Ziegler Hunts (UCLA)
Title: Definability of derivations in the reducts of differentially closed fields.
Abstract: This will be the second talk on the paper "Definability of Derivations in the Reducts of Differentially Closed Fields" (link to paper) by Vahagn Aslanyan.

January 14, 2019, 3:00pm-3:50pm, MS 5203
Differential fields and Morley rank discussion section.

January 7, 2019, 4:00pm-4:50pm, MS 5203
Speaker: Allen Gehret (UCLA)
Title: Definability of derivations in the reducts of differentially closed fields.
Abstract: This will be the first talk on the paper "Definability of Derivations in the Reducts of Differentially Closed Fields" (link to paper) by Vahagn Aslanyan.

January 7, 2019, 3:00pm-3:50pm, MS 5203
Differential fields and Morley rank discussion section.

November 19, 2018, 4:00pm-4:50pm, Boelter Hall 4283
Speaker: Nick Ramsey (UCLA)
Title: Model theory of finite and pseudofinite fields.
Abstract: This will be the fifth talk on the topic of finite and pseudofinite fields. We will be following these notes by Zoe Chatzidakis. Our motivation is the paper "Definable sets over finite fields" by Chatzidakis, van den Dries, and Macintyre.

November 5, 2018, 4:00pm-4:50pm, Boelter Hall 4283
Speaker: Aaron Anderson (UCLA)
Title: Model theory of finite and pseudofinite fields.
Abstract: This will be the fourth talk on the topic of finite and pseudofinite fields. We will be following these notes by Zoe Chatzidakis. Our motivation is the paper "Definable sets over finite fields" by Chatzidakis, van den Dries, and Macintyre.

November 5, 2018, 3:00pm-3:50pm, Boelter Hall 4283
Pseudofinite fields discussion section.

October 29, 2018, 4:00pm-4:50pm, Boelter Hall 4283
Speaker: Allen Gehret (UCLA)
Title: Model theory of finite and pseudofinite fields.
Abstract: This will be the third talk on the topic of finite and pseudofinite fields. We will be following these notes by Zoe Chatzidakis. Our motivation is the paper "Definable sets over finite fields" by Chatzidakis, van den Dries, and Macintyre.

October 29, 2018, 3:00pm-3:50pm, Boelter Hall 4283
Pseudofinite fields discussion section.

October 22, 2018, 4:00pm-4:50pm, No Seminar

October 15, 2018, 4:00pm-4:50pm, Boelter Hall 4283
Speaker: Clark Lyons (UCLA)
Title: Model theory of finite and pseudofinite fields.
Abstract: This will be the second talk on the topic of finite and pseudofinite fields. We will be following these notes by Zoe Chatzidakis. Our motivation is the paper "Definable sets over finite fields" by Chatzidakis, van den Dries, and Macintyre.

October 15, 2018, 3:00pm-3:50pm, Boelter Hall 4283
Pseudofinite fields discussion section.

October 8, 2018, 4:00pm-4:50pm, Boelter Hall 4283
Speaker: Alex Mennen (UCLA)
Title: Model theory of finite and pseudofinite fields.
Abstract: This will be the first talk on the topic of finite and pseudofinite fields. We will be following these notes by Zoe Chatzidakis. Our motivation is the paper "Definable sets over finite fields" by Chatzidakis, van den Dries, and Macintyre.

October 1, 2018, 4:00pm-4:30pm, Boelter Hall 4283
Organizational meeting for the fall quarter.

June 11, 2018, 4:00pm-4:50pm, MS 3915D
Speaker: Matthias Aschenbrenner (UCLA)
Title: T-Convexity and Tame Extensions.
Abstract: This will be the ninth talk about the paper "T-Convexity and Tame Extensions" by Lou van den Dries and Adam H. Lewenberg.

June 4, 2018, 4:00pm-4:50pm, MS 3915D
Speaker: Travis Nell (UIUC)
Title: T-Convexity and Tame Extensions.
Abstract: This will be the eigth talk about the paper "T-Convexity and Tame Extensions" by Lou van den Dries and Adam H. Lewenberg.

May 28, 2018, no seminar (Memorial Day)

May 21, 2018, 4:00pm-4:50pm, MS 3915D
Speaker: Martin Ziegler (University of Freiburg)
Title: T-Convexity and Tame Extensions.
Abstract: This will be the seventh talk about the paper "T-Convexity and Tame Extensions" by Lou van den Dries and Adam H. Lewenberg.

May 21, 2018, 3:00pm-3:50pm, MS 3915D
T-convexity discussion section. T-convexity notes

May 14, 2018, 4:00pm-4:50pm, MS 3915D
Speaker: Madeline Barnicle (UCLA)
Title: T-Convexity and Tame Extensions.
Abstract: This will be the sixth talk about the paper "T-Convexity and Tame Extensions" by Lou van den Dries and Adam H. Lewenberg.

May 14, 2018, 3:00pm-3:50pm, MS 3915D
T-convexity discussion section.

May 7, 2018, 4:00pm-4:50pm, MS 3915D
Speaker: Alex Mennen (UCLA)
Title: T-Convexity and Tame Extensions.
Abstract: This will be the fifth talk about the paper "T-Convexity and Tame Extensions" by Lou van den Dries and Adam H. Lewenberg.

May 7, 2018, 3:00pm-3:50pm, MS 3915D
T-convexity discussion section.

April 30, 2018, 4:00pm-4:50pm, MS 3915D
Speaker: Julian Ziegler-Hunts (UCLA)
Title: T-Convexity and Tame Extensions.
Abstract: This will be the fourth talk about the paper "T-Convexity and Tame Extensions" by Lou van den Dries and Adam H. Lewenberg.

April 30, 2018, 3:00pm-3:50pm, MS 3915D
T-convexity discussion section.

April 23, 2018, 4:00pm-4:50pm, MS 3915D
Speaker: Riley Thornton (UCLA)
Title: T-Convexity and Tame Extensions.
Abstract: This will be the third talk about the paper "T-Convexity and Tame Extensions" by Lou van den Dries and Adam H. Lewenberg.

April 23, 2018, 3:00pm-3:50pm, MS 3915D
T-convexity discussion section.

April 16, 2018, 4:00pm-4:50pm, MS 3915D
Speaker: Dean Menezes (UCLA)
Title: T-Convexity and Tame Extensions.
Abstract: This will be the second talk about the paper "T-Convexity and Tame Extensions" by Lou van den Dries and Adam H. Lewenberg.

April 16, 2018, 3:00pm-3:50pm, MS 3915D
T-convexity discussion section.

April 9, 2018, 4:00pm-4:50pm, MS 3915D
Speaker: Kevin Matthews (UCLA)
Title: T-Convexity and Tame Extensions.
Abstract: This will be a talk about the paper "T-Convexity and Tame Extensions" by Lou van den Dries and Adam H. Lewenberg.

April 2, 2018, 4:00pm-4:50pm, MS 3915D
Speaker: Madeline Barnicle (UCLA)
Title Ideals of $p$-adic rings.
Abstract: We overview the power series rings associated with the $p$-adic numbers, and the definability issues associated with properties of ideals. We then overview a procedure for definably and uniformly computing the generators of the radical of an ideal in the ring $\mathbb{Z}_p \langle C , X \rangle$.

April 2, 2018, 3:30pm-3:50pm, MS 3915D
Organizational meeting for the spring quarter.

Note: for the Spring 2018 quarter the seminar day has been changed to Mondays.

March 21, 2018, no seminar (finals week)

March 14, 2018, no seminar (day of open house)

March 7, 2018, 4:00pm-4:50pm, MS 5233
Speaker: Alex Mennen (UCLA)
Title: t-minimality.
Abstract: I will define t-minimal (topologically minimal) structures, discuss some examples, and discuss notions of cell decomposition in t-minimal structures. I will then define some dimension functions, and show that under certain conditions, all of these dimension functions coincide.

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 and final 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. Dense pairs notes

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.

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).