| |
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 2004 Schedule
|
Date
|
Speaker
|
Title
|
Monday,
January 26
|
Walter Taylor, CU
|
Satisfiability of linear equations on
[0,1]. [Abstract]
|
Monday,
February 2
|
Taylor
|
Continuation. [Abstract]
|
Monday,
February 9
|
Taylor
|
Continuation [Abstract]
|
Monday,
February 16
|
Fred Richman,
Florida Atlantic University
|
Countable choice and excluded middle.
[Abstract]
|
Monday,
February 23
|
Charles Holland,
Bowling Green State University
|
Recently discovered properties of
the group of order preserving permutations of the real line.
[Abstract]
|
Monday,
March 1
|
Holland
|
Continuation.
[Abstract]
|
Monday,
March 8
|
Keith Kearnes, CU
|
Which T0 topological algebras are Hausdorff?
[Abstract]
|
Monday,
March 15
|
Kearnes
|
Continuation.
[Abstract]
|
Monday,
April 12
|
Keith Kearnes, CU
|
Which groups arise as Aut(A2)?
[Abstract]
|
Monday,
April 19
|
Kearnes
|
Continuation.
[Abstract]
|
Monday,
April 26
|
Kearnes
|
Continuation.
[Abstract]
|
Wednesday,
April 28
|
Kearnes
|
Continuation.
[Abstract]
|
|