21804 Mathematical logic seminar

21804 Mathematical logic seminar

The seminar will continue in Fall, 2007, under the direction of James Cummings.

The seminar will meet 12:00-13:20 on Tuesday in Scaife Hall Room 219.

August 28    

James Cummings    

The Regularity Lemma I: Ultrafilters and ultraproducts    

Abstract
September 4    

James Cummings    

The Regularity Lemma II: Ultraproducts and measure theory    

Abstract
September 11    

James Cummings    

The Regularity Lemma III: Measure theory and regularity    

Abstract
September 25    

Rick Statman    

Cartesian monoids    

Abstract
October 2    

Rick Statman    

Cartesian monoids part II    

October 9    

Peter Lumsdaine    

Sheaves I: What are they and what are they doing in a logic seminar?    

Abstract
October 16    

Peter Lumsdaine    

Sheaves II: Logic in sheaves on a space    

Abstract
October 23    

Peter Lumsdaine    

Sheaves III: Sheaf models and constructive analysis    

Abstract
October 30    

Jeremy Avigad    

Computability and ergodic theory I    

Abstract
November 6    

Jeremy Avigad    

Computability and ergodic theory II    

Abstract
November 13    

Yimu Yin    

Sketch of a research plan I    

Abstract
November 27    

Yimu Yin    

Sketch of a research plan II    

Abstract
December 4    

Yimu Yin    

Sketch of a research plan III    

Abstract
Here is the developing schedule for next term.

Information about past seminar talks: