Logic Seminar



 

This semester the logic seminar will meet on Mondays at 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 2008 Schedule

Date

Speaker

Title

Monday,
February 4, 3pm,
Math 220
Corey Bruns, CU
Variation of independence in boolean algebras  [Abstract]
Monday,
February 11, 3pm
Math 220
Bruns
Variation of independence in boolean algebras, II  [Abstract]
Wednesday,
February 13, 3pm
Math 220
Tim Carlson,
Ohio State University
The logic of well-founded structures   [Abstract]
Monday,
February 18, 3pm,
Math 220
Bruns
Variation of independence in boolean algebras, III  [Abstract]
Monday,
April 7, 3pm,
Math 220
Jason Shaw,
CU
Commutator relations and the clones of finite groups, I  [Abstract]
Monday,
April 14, 3pm,
Math 220
Shaw
Commutator relations and the clones of finite groups, II  [Abstract]
Wednesday,
April 16, 3pm,
Math 350
Ross Willard,
University of Waterloo
Constraint Satisfaction Problems and finite algebras with few subpowers  [Abstract]


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


Past Semesters
Fall 2007
Spring 2007
Fall 2006
Fall 2005
Spring 2005
Fall 2004
Spring 2004
Fall 2003
Spring 2003



CU Math Home