UF Logic Colloquium -- Spring 2007
Fridays 9th Period (4:05-4:55)
339 Little Hall (Atrium)
January 19, 2007
Bakh Khoussainov (Computer Science, University of Auckland)
Applications of Kolmogorov complexity to computable model theory
January 26, 2007
Barbara Csima (University of Waterloo, Canada)
Settling Times for Computably Enumerable Sets
February 2, 2007
Peter Cholak (University of Notre Dame)
Computability Thoery: Domination, Measure, Randomness, and Reverse Mathematics
February 5, 2007 (Monday - History Lecture in Little 113)
February 9, 2007 (part of the Model Theory and Computable Model Theory
conference)
February 16, 2007
Marcia J. Groszek (Dartmouth College)
Growth Rates and Computability
February 23, 2007
William J. Mitchell
Perspectives on the Inner Model Theory Program
March 2, 2007
March 5, 2007 (Monday - Mathematics colloquium)
March 9, 2007 (3:45-4:45 p.m.)
(in connection with Inner model theory and singular cardinals combinatorics)
Menachem Kojman (Ben Gurion University of the Negev)
Extending Baire measure with pcf below a measurable continuum
March 16, 2007
No logic colloquium
(Spring Break)
March 23, 2007
March 26, 2007 (Monday, Department of Mathematics Colloquium)
Arnold Miller (University of Wisconsin)
The axiom of choice and the real line
March 30, 2007
Arnold Miller (University of Wisconsin)
Long Borel Hierarchies
April 6, 2007
Vladimir Kanovey
Hausdorff's Ordered Structures
April 13, 2007
April 20, 2007 (last full week of classes)
David Fremlin (University of Essex)
Amoeba algebras
April 27, 2007
Janusz Pawlikowski (University of Wroclaw)
Covering Property Axiom
May 4, 2007 (day before Set theory of the reals)
May 11, 2007 (last day of Set theory of the reals)
For further information, contact Dr. Larson at
jal@math.ufl.edu
|
UF Math Department |
UF Philosophy Department |
UF CISE Department |
|
Logic Seminar |
Logic and Set Theory |
Last modified: Mon Apr 30 14:41:54 EDT 2007