Logic Seminar
 

Unless otherwise stated, the time and meeting place for the logic seminar is 3pm in Math 220. The scope of the seminar includes all topics that are likely to be interesting to those people likely to go. This includes, for example, topics in logic, set theory, general algebra, combinatorics and topology.



Spring 2003 Schedule

Date

Speaker

Title
Monday,
January 27
 Keith Kearnes, CU
 A new proof of Baker's Finite Basis Theorem  [Abstract]
Monday,
February 3
 Kearnes
 Continuation   [Abstract]
Monday,
February 10
 Kearnes
 Continuation   [Abstract]
Monday,
March 10
 Kearnes
 The Shape of Congruence Lattices  [Abstract]
Monday,
March 17
 Kearnes
 Continuation   [Abstract]
Monday,
April 14
 Sid Smith
 The Nesting of Sentential Formulas  [Abstract]
Monday,
April 21
 Kearnes
 The Number of Aut(L)-Orbits of an Infinite Field L  [Abstract]
Monday,
April 28
 Kearnes
 Continuation  [Abstract]



Blank space
If you have any questions concerning this seminar, please contact Keith A. Kearnes, at kearnes@euclid.colorado.edu.


CU Math Home