Logic Seminar
Usually meets Tuesday at 4:00 pm in SEO 612.
| Date | Speaker | Title |
|---|---|---|
|
August 25
|
Alice Medvedev
UIC |
QACFA |
|
September 1
|
Maryanthe Malliaris
UChicago |
Independence and order in the characteristic sequence. |
|
September 8
|
Ahuva Shkop
UIC |
Schanuel's conjecture, Shapiro's conjecture, and an actual theorem. |
|
September 15
(4:30 pm; SEO 612)
|
Salma Kuhlmann
Universitat Konstanz |
Hardy type derivations on generalised series fields. |
|
September 22
|
Matthias Aschenbrenner
UCLA |
Lipschitz maps and definability. |
|
September 29
|
Fifth midwest computability seminar
UChicago |
NO LOGIC SEMINAR THIS WEEK |
|
October 6
|
Moshe Kamensky
University of Notre Dame |
Model theory of the Tannakian formalism. |
|
October 13
|
Antonio Montalban
University of Chicago |
The boundary of Determinacy in Second Order Arithmetic. |
|
October 20
|
Joseph Flenner
University of Notre Dame |
Relative decidability of henselian valued fields. |
|
October 27
|
Karen Lange
University of Notre Dame |
Lengths of generalized power series associated with real closed fields. |
|
November 3
|
John Goodrick
University of Maryland |
Bi-embeddability and isomorphism: the weakly minimal case. |
|
November 10
|
Justin Moore
Cornell |
Fast Growth in the Folner Function for Thompson's Group $F$. |
|
November 12
(4:15 pm; SEO 612)
|
Uri Andrews
UCBerkeley |
Hrushovski Geometries Coding Non-recursive Sets. |
|
November 17
|
Lynn Scow
UCBerkeley |
Generalized Indiscernible Sequences in stable and NIP theories. |
|
November 24
|
||
|
December 1
|
Meghan Anderson
UCBerkeley |
Galois Groups in Valued D-Fields. |