Logic Seminar

The logic seminar typically meets 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, model theory, set theory, general algebra, combinatorics and topology.

Spring 2013 Schedule

Date	Speaker	Title
Monday, February 4, 3pm Math 220	Keith Kearnes, CU	Abelian algebras in relatively modular quasivarieties [Abstract]
Monday, February 11, 3pm, Math 220	Kearnes, CU	Continuation from previous week.
Monday, February 18, 3pm, Math 220	Ross Willard, University of Waterloo	Idempotent equational theories and their orderable models [Abstract]
Monday, February 25, 3pm, Math 220	Kearnes, CU	Continuation from Feb 11.
Monday, March 4, 3pm, Math 220	Kearnes, CU	Continuation from previous week.
Monday, March 11, 3pm, Math 220	Kevin Selker, CU	A consistent atomless Boolean algebra [Abstract]
Monday, March 18, 3pm, Math 220	Selker, CU	A consistent atomless Boolean algebra, 2 [Abstract]
Monday, April 1, 3pm, Math 220	Jonathan Smith, Iowa State University	Conformal algebras, vertex algebras, and multi-valued logic [Abstract]
Saturday, April 6, 10am, Greene Hall 219, DU.	Logic Saturday, José Mijares, Tim Trujillo	Mijares [Abstract], Trujillo [Abstract]
Monday, April 8, 3pm, Math 220	Anna Romanowska, Warsaw Technical University	On constructions of modes [Abstract]
Monday, April 15, 3pm, Math 220	Santi Spadaro University of Opava	Chain conditions determined by base properties. [Abstract]
Monday, April 22, 3pm, Math 220	Charlie Scherer CU	A small game on Cantor space [Abstract]