Logic Seminar - Fall 2009
Usually meets Tuesday at 4:00 pm in SEO 636.
| Date | Speaker | Title |
|---|---|---|
|
August 25
(4:00 pm; SEO 612)
|
Alice Medvedev
UIC |
QACFA |
|
September 1
(4:00 pm; SEO 612)
|
Maryanthe Malliaris
UChicago |
Independence and order in the characteristic sequence. |
|
September 8
(4:00 pm; SEO 612)
|
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
(4:00 pm; SEO 612)
|
Matthias Aschenbrenner
UCLA |
Lipschitz maps and definability. |
|
September 29
(4:00 pm; SEO 612)
|
Fifth midwest computability seminar
UChicago |
NO LOGIC SEMINAR THIS WEEK |
|
October 6
(4:00 pm; SEO 612)
|
Moshe Kamensky
University of Notre Dame |
Model theory of the Tannakian formalism. |
|
October 13
(4:00 pm; SEO 612)
|
Antonio Montalban
University of Chicago |
The boundary of Determinacy in Second Order Arithmetic. |
|
October 20
(4:00 pm; SEO 612)
|
Joseph Flenner
University of Notre Dame |
Relative decidability of henselian valued fields. |
|
October 27
(4:00 pm; SEO 612)
|
Karen Lange
University of Notre Dame |
Lengths of generalized power series associated with real closed fields. |
|
November 3
(4:00 pm; SEO 612)
|
John Goodrick
University of Maryland |
Bi-embeddability and isomorphism: the weakly minimal case. |
|
November 10
(4:00 pm; SEO 612)
|
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
(4:00 pm; SEO 612)
|
Lynn Scow
UCBerkeley |
Generalized Indiscernible Sequences in stable and NIP theories. |
|
November 24
|
||
|
December 1
(4:00 pm; SEO 612)
|
Meghan Anderson
UCBerkeley |
Galois Groups in Valued D-Fields. |