Logic Seminar Abstracts


Title: Congruence lattices of locally finite algebras.
Speaker:  Keith Kearnes
Affiliation:  CU
Time:  3pm, Monday, January 24
Location:  Math 220

Abstract:  
James Schmerl asked if every algebraic lattice is isomorphic to the congruence lattice of a locally finite algebra. In this talk I will answer Schmerl's question negatively by identifying a property satisfied by congruence lattices of locally finite algebras that is not satisfied by the subgroup lattice of SO(3).


Title: Congruence lattices of locally finite algebras.
Speaker:  Kearnes
Affiliation:  CU
Time:  3pm, Monday, January 31
Location:  Math 220

Abstract:  
A continuation of the previous talk.


Title: A double form of Kruskal's Theorem.
Speaker:  Timothy Carlson
Affiliation:  Ohio State University
Time:  3pm, Monday, February 7
Location:  Math 220

Abstract:  



Title:  A survey of the basic forcing lemmas.
Speaker:  Sheila Miller
Affiliation:  CU
Time:  3pm, Monday, March 28
Location:  Math 220

Abstract:  



Title:  A survey of the basic forcing lemmas.
Speaker:  Miller
Affiliation:  CU
Time:  3pm, Monday, April 4
Location:  Math 220

Abstract:  
A continuation of the previous talk.


Title:  Martin's axiom.
Speaker:  Allen Mann
Affiliation:  CU
Time:  3pm, Monday, April 18
Location:  Math 220

Abstract:  



Title:  Martin's axiom.
Speaker:  Mann
Affiliation:  CU
Time:  3pm, Monday, April 20
Location:  Math 350

Abstract:  
A continuation of the April 18 talk.


Title:  Quantifier elimination.
Speaker:  Matt Nickodemus
Affiliation:  CU
Time:  3pm, Monday, April 25
Location:  Math 220

Abstract:  



Title:  Quantifier elimination.
Speaker:  Nickodemus
Affiliation:  CU
Time:  3pm, Monday, April 27
Location:  Math 350

Abstract:  
A continuation of the April 25 talk.



| Logic Seminar Main Page | CU Math Home |