Louise Hay Logic Seminar

a.k.a. Chicago Joint Logic Seminar

Links:



Announcements

+ Welcome to another year of the Chicago Joint Logic Seminar! Our naming rights auction was a success, and was won by Dave Marker and Alice Medvedev who chose to name the seminar in honor of Louise Hay.

Next talk

Kostya Slutsky (UIUC),"Dense conjugacy classes in Polish groups": 2/19/09, 4:30-5:30, Ry 277.
Abstract: Let G be a Polish group, that is a topological group which is also a completely metrizable separable topological space. We say that G has the Rohlin property if there is an element g in G with dense conjugacy class. We'll discuss some examples of such groups and the connection between the Rohlin property and Model Theory of countable structures.

Recent talks

Uri Andrews (Berkeley),"A topic in recursive model theory": 1/22/09.
Fred Drueck (UIC),"Using Ehrenfeucht-Mostowski Models to study abstract elementary classes": 10/23/08.
Matthew Wright (Chicago),"Axiom of determinacy": 10/2/08.

Past talks

Karen Lange (Chicago),"The relative strength of the Atomic and Homogeneous Model Theorems": 4/29/08.
William Simmons and Charles Moss (UIC),"A speck of automated theorem proving: HOL Light and Kepler's Theorem": 4/24/08.
David Diamondstone (Chicago),"Introduction to randomness": 4/17/08.
Uri Andrews (Berkeley),"Recursive models of uncountably categorical theories": 4/10/08.
Damir Dzhafarov (Chicago),"Effective combinatorics": 4/3/08
Sylvia Carlisle (UIUC), "An introduction to continuous logic: definability and examples": 3/6/08.
Chris Conidis (Chicago), "Effectivizing notions of dimension, part II": 2/28/08
James Freitag (UIC), "An introduction to o-minimality": 2/21/08
Chris Conidis (Chicago), "Effectivizing notions of dimension": 2/14/08
Fred Drueck (UIC), "The Random Graph", 2/7/08
Rachel Epstein (Chicago), "An Introduction to computable model theory from the perspective of Vaught's models", 1/31/08
Ahuva Shkop (UIC), "A Crazy Conjecture": 1/24/08