J. Baldwin's Math 512 Home Page

Welcome to the homepage for Prof. John Baldwin's Fall 2003 course:

Model Theory

10:00 AM MWF in 216 Taft Hall

Office: 417 SEO

Office hours:11:00 AM MWF

or by appointment

Phone: (312) 413-2149

(fax 996-1491)

Email: jbaldwin@math.uic.edu

Course policies are given in:

Course Syllabus (pdf)

Homework due Oct. 12 (pdf)

Materials

These materials are under continuous review this semester. Each separate item is dated in the document. Any comments are welcome. The chapter files posted below have not been updated since about Oct. 28. The most recent version of all chapters in the combined format at the end which includes references and is cross indexed. But it contains a number of blank pages because of the book format - especially at the beginning. To print selections add 5 to the page number (the pages are numbered beginning with the text; there are 5 pages of front matter.) I intend to shortly take down the current individual chapters and put up a set which are cross-indexed and current. But this isn't as hign on the priority list as generating new chapters.

Outline of Lecture 1

This is a skeleton outline of some of the course. The rest of thenotes are much more complete .

Lecture 2: Exercises on Combinatorial Geometries (pdf)

Lecture 3: Abstract Quasiminimality

Lecture 4: Categorictity implies completeness (pdf)

Lecture 5: Abstract Elementary Classes

Lecture 6: Galois Types and Saturation

Lecture 6.5: Weakening Amalgamation A proof of a more general form of saturation = model homogeneity

Lecture 7: Galois stability

Lecture 8: Morley's method for Galois Types: Downward Categoricity

Lecture 10: Covers of the Multiplicative Group

The next several lectures are very much in flux.

Lecture 11: Excellence implies Categoricity

Lecture 12: $omega$-stable implies $\kappa$-stable

Avoiding Exchange in the Categoricity theorem - a work in progress (pdf)

all chapters with references, crossing indexing and table of contents: date on first page

The following `paper' will eventually be broken into lecture notes butis available for those who want to read ahead.

Ehrenfeuht-Mostowski models and Abstract Elementary Classes The paper on Quasiminimal Excellence has been partially expanded in the first three lectures. More will follow. We will be following two of Lessmann's papers. Here is the first

An Introduction to Excellent Classes: Lessmann

Categoricity and U-rank in Excellent Classes: Lessmann