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 2005 Schedule

Date

Speaker

Title
Monday,
January 24
 Keith Kearnes, CU
 Congruence lattices of locally finite algebras.  [Abstract]
Monday,
January 31
 Kearnes
 Continuation.  [Abstract]
Monday,
February 7
 Tim Carlson,
Ohio State University 		A double form of Kruskal's Theorem.  [Abstract]
Monday,
March 28
 Sheila Miller, CU
 A survey of the basic forcing lemmas.  [Abstract]
Monday,
April 4
 Miller
 Continuation.  [Abstract]
Monday,
April 18
 Allen Mann, CU
 Martin's Axiom.  [Abstract]
Wednesday,
April 20
 Mann
 Continuation from April 18.  [Abstract]
Monday,
April 25
 Matt Nickodemus, CU
 Quantifier Elimination.  [Abstract]
Wednesday,
April 27
 Nickodemus
 Continuation from April 25.  [Abstract]
Monday,
May 2
(3:30 in 220!) 		Nickodemus, CU
 Continuation from April 27.  [Abstract]

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


CU Math Home