UIC Logic Seminar
Seminars will usually be held Wednesdays at 4:00 in 412 SEO.
- Thur September 4, 4:00 412 SEO, Chris Miller (Ohio State), Expansions of the real line having o-minimal open cores
- Wed September 10, 4:00 412 SEO, Dave Marker (UIC), Locally
o-minimal theories, abstract
- Wed September 17, 4:00 412 SEO, John Baldwin (UIC), Expansions of Fields, abstract
- Wed September 24, 4:00 412 SEO, John Baldwin (UIC), Expansions of Fields II
- Thur October 2, 4:00 412 SEO, Anand Pillay (UIUC), Hyperimaginaries, canonical bases, compact groups , abstract
- Wed October 8, 4:00 412 SEO, John Baldwin (UIC), Expansions of Fields
- Wed October 15, 4:00 412 SEO, David Pierce (UIUC), Elementary equivalence and elliptic curves, abstract
- Wed October 22, 4:00 412 SEO, Carol Wood (Wesleyan),
Model theory of differential fields with commuting derivations, abstract
- Wed October 29, 4:00 412 SEO, Shawn Hedman (UIC), Pseudolinearity, abstract
- Thu November 6, 4:00 412 SEO, Steffen Lempp (Univ. Wisconsin),
Constructive models of uncountably categorical theories, abstract
- Wed November 12, 4:00 412 SEO, Franz-Viktor Kuhlman (Saskatchawan), Resolution of singularities and the model theory of valued fields
in positive characteristic , abstract
- Wed Novemeber 19, 4:00 412 SEO, Andre Nies, (U. Chicago), Spectra of $\omega_1$-categorical theories, abstract
- Wed November 26, 4:00 412 SEO, Marko Djordjevic (UIC), Large finite structures with few k-variable k-types,
- Wed December 2, 4:00 412 SEO, Wai-yan Pong (UIC), Model complete
In Fall '97 Dave Marker will give a series of lectures on Mondays
2:00-3:30 in 412 SEO on ACFA--the model completeion of the theory of algebraically closed fields of characteristic zero with an automorphism.
Chatzidakis and Hrushovski have shown that this theory has a very interesting model theory--it is an example of a "simple" theory and there is a rich interplay between model theory and algebra. This model theory plays an
important role in Hrushovski's proof of the Manin-Mumford conjecture for number fields.
I will attempt to prepare notes of my lectures and make them available.
These are in postscript format.
- part 1 Model Completeness, quantifier elimination and pseudofiniteness of the fixed field. (posted 8/29, revised 9/12)
- part 2 Independence, elimination of imaginaries.
- part 3 SU-rank, generic types of algebraic varieties
- part 4 where we are heading: number theoretic applications (Posted 10/1)
- part 5 strongly stationary types and local modularity (posted 10/13, revised 10/20)
- part 6 the dichotemy for degree one types (posted (11/14)
95-96 UIC Logic Seminar
Logic visistors Spring
Go to MSCS Home Page.
Go back to Dave Marker's Home Page