Invited Talks

Here are lecture notes (transparencies) for talks over the last few years. Some are pdf and some postscript. If you have trouble downloading any of them,e-mail me for assistance.

Lecture Notes

"Perspectives on AEC" Midwest Model Theory, April 2008

"Is VWGCH necessary?" ASL meeting 2008 Irvine

"Keisler proof for few types from few models in aleph-1" UIC Fall 2007

"The amalgamation Spectrum" AMS sectional Oct. 6, 2007

"The lower infinite" Discussion of direction and problems: Chicago October 8, 2007

"Perspectives on AEC" Discussion of direction and problems with special emphasis on the lower spectrum Villa de Leyva, Colombia July 28, 2007

"What is the right type-space?" expansion of Winnipeg talk to include discussion of tameness, Humboldt Univ. Berlin July, 2007

"Generalized Quantifiers and AEC" 50 years of generalized quantifiers, Warsaw, June 2007

"Morley's Proof" Plenary, Canadian Math Society June, 2007

"What is the right type-space?" Model Theory Session, Canadian Math Society June, 2007

"Geometry and Proof" Breakout, Symposium on Excellence in Teaching and Learning of Math and Science May, 2007

"Why the WGCH is true" Invited Address, Association for Symbolic Logic/APA, April, 2007

"Abstract Elementary Classes: Research Directions and Abelian Groups" Seminar at Leeds, October 12, 2006

"Abstract Elementary Classes: Abelian Groups" Seminar at CRM Barcelona, October 3, 2006

"Proof and Geometry" (See also the paper in the paper section). Tools for Teaching Logic Salmanca September 2006

"Abstract Elementary Classes: Motivations and Directions" Barcelona Logic Seminar, September 2006

"The Complex Numbers and Exponentiation: Why Infinitary Logic is necessary" Columbian Mathematical Association, August 2005

"Tameness: Corrected Nov. 2005 (page 37)" Bogota Model Theory Meeting, August 2005

"Perspectives on Expansions" Norwich Meeting, JUly 2005

"Bibliography" Norwich Meeting, JUly 2005

"The Vaught Conjecture: Do uncountable models count?" Notre Dame Meeting, May 2005

"Beyond First Order Logic II" ASL European Summer Meeting, Torino, July 2004

"The Metamathematics of Random Graphs" Logic, Algebra, and Geometry, St. Petersburgh, May 2004

"Beyond First Order Logic I" ASL Annual Meeting, Pittsburgh, May 2004

"Getting a model in Aleph-2" Colloquia, Notre Dame and Helsinki, Spring 2004

"EM-models and downward categoricity transfer" Bogota Conference on Abstact Elementary Classes, November 2003

"Expansions of Models" Antalya Algebra Day , Antalya, May 2001

"Forking and Multiplicity" Logic and Algebra , Istanbul Bilgi University, May 2001

"Homogeneity vrs Saturation Barcelona Logic Meeting , Barcelona, July 2000

" Infinistic Methods in Finite Model Theory Finite Model Theory , Marseille, Apr. 2000

" Applications of StableAmalgamation Malcev Conference, Novosibirsk, Aug. 1999

" Finite and InfiniteModel Theory: An historical Perspective"; WOLLICS June 25, 1999; Itataia, Brazil

" GEOGRAPHY OF STABLE THEORIES"; Table of stable theories

"Finite and InfiniteModel Theory: Embedded Finite Models and L^n axiomatizability of categorical theories"WOLLICS June 27, 1999; Itataia, Brazil

" Finite and InfiniteModel Theory: Stability in Finite Models" Workshop on Logic and Cognitive Science:April 18, 1999 in Philadelphia

"Constructing $\omega$-stablestructures: finite rank fields (with Kitty Holland) MAMLS, Rutgers, Sept 1998

"Stability and Embedded FiniteModels Oberwolfach, February 1998

"Model Theory, Finite,Countable, and Uncountable" MAMLS, CMUApril 26, 1997

"What is an extension axiom"Association for Symbolic Logic Annual Meeting March1997 at MIT