Friday, June 9, 2006 -- 1:30

**Piotr Koszmider**, Universidade de Sao Paulo

*Lindelof function spaces and decompositions*

Friday, June 2, 2006

CANCELLED

Friday, 26 May 2006, 1:30PM -- Fields Institute, Rm 210

**Jordi Lopez Abad**, Universite Paris 7

TBA

Friday, May 12, 2006 -- 1:30

**James Hirschorn**, Kobe University

*Characterizing the quasi ordering of the irrationals by eventual
dominance.*

Fields Institute, room 210

Tuesday, May 9, 2006 -- 3:30 p.m.

**Dusan Repovs**, University of Ljubljana

*Geometric topology of Cantor sets*

Fields Institute, **library**

May 5, 2006, 1:30-3:00

**Paul J. Szeptycki**, York University

*Transversals of strongly almost disjoint families*

April 28, 2006, 1:30-3:00

**Ari Meir Brodsky**, University of Toronto

*'A partition theorem for triples in nonspecial trees, part 2.'*

April 21, 2006 1:30-3:00

**Joel David Hamkins**, CUNY

*The modal logic of forcing*

What are the most general principles relating forceability and truth?
As in Solovay's celebrated analysis of provability, this question and
its answer are naturally formulated in modal logic. Specifically, define
that a set theoretic assertion phi is *forceable* or *possible* if it
holds in some forcing extension, and *necessary* if it holds in all
forcing extensions. Under this forcing interpretation, the valid principles
of forcing are exactly those in the modal theory known as S4.2. This
is joint work with Benedikt Loewe.

April 7 2006, 1:30-3:00** note time

**Ari Meir Brodsky**, University of Toronto

*For any nonspecial tree T and natural numbers m and n, T-->(omega+m,n)3*

March 31, 2006

**Barbara F. Csima**, University of Waterloo

*Every 1-Generic Computes a Properly 1-Generic*

This is joint work with Rod Downey, Noam Greenberg, Denis Hirschfeldt,
and Joe Miller.

Monday, March 27, 2006

**Andres E. Caicedo**, Caltech

*PFA and a covering property that implies SCH*

March 24, 2006

**Christian Rosendal**, University of Illinois at Urbana-Champaign

*Automatic continuity of homomorphisms in the group setting*

March 17, 2006

**Lionel Nguyen Van The**, Universite Paris 7

*Divisibility properties in countable ultrahomogeneous ultrametric
spaces *

March 10, 2006 -- 3:30p.m. , Stewart Library, Fields Institute

**Stevo Todorcevic**

*Oscillation theory on traces, part II*

March 3, 2006 -- 3:30p.m. , Stewart Library, Fields Institute

**Stevo Todorcevic**

*Oscillation theory on traces, part I*

February 17, 2006 -- 3:30p.m. , Stewart Library, Fields Institute

**Ilijas Farah**, York University

* Talagrand's exhaustive pathological submeasure*, *Part IV*

Friday, February 10, 2006 -- 3:30p.m., Stewart Library, Fields Institute

**Ilijas Farah**, York University

* Talagrand's exhaustive pathological submeasure*, *Part III*

Friday, February 3, 2006 -- 3:30p.m., Stewart Library, Fields Institute

**Artur Tomita**, Sao Paulo

*Some recent examples of countably compact groups*

Friday, January 27, 2006 -- 3:30p.m., Stewart Library, Fields Institute

**Ilijas Farah**, York University

* Talagrand's exhaustive pathological submeasure*, *Part II*

Friday, January 20, 2006 --4:00 p.m., Stewart Library, Fields Institute

**Ilijas Farah**, York University

* Talagrand's exhaustive pathological submeasure*

I will present a long-awaited solution to Maharam's problem (also known
as Control Measure Problem) recently obtained by M. Talagrand.

Friday, January 13, 2006 -- 4:00 p.m.

**Frank Tall**, University of Toronto

*PFA(S)[S}, IV: More Topological Applications *

Friday, January 6, 2006, 4 pm

**Slawek Solecki**, University of Illinois at Urbana-Champaign

*The coset equivalence relations and topologies on Borel group*s

Friday, December 16, 2005

**Frank Tall**, University of Toronto

*Mutually consistent topological consequences of PFA and V = L, III:
Topological applications *

Friday (December 9)-no seminar

Friday December 2, 2005

**Frank Tall**, University of Toronto

*Mutually consistent topological consequences of PFA and V = L, I.*
(cont'd)

Friday, November 25, 2005

**Frank Tall**, University of Toronto

*Mutually consistent topological consequences of PFA and V = L, I.*

Friday, November 18, 2005

**Special Time: 3:30 p.m. - Room 230**

**Efren Ruiz**, University of Toronto

*C*-algebras and their representations, part II*

Friday, November 11, 2005

**Special Time: 3:30 p.m. - Library**

**Efren Ruiz**, University of Toronto

*C*-algebras and their representations *

Friday, November 4, 2005

**Mike Oliver**, York University

*Borel cardinality of collection of quotient Boolean algebras: The
Director's Cut, Part II.*

Friday, October 28, 2005

**Mike Oliver**, York University

*Borel cardinality of collection of quotient Boolean algebras: The
Director's Cut, Part 1*

Friday, October 21, 2005

**Stuart Zoble**, University of Toronto

*Bounding for L and L(R)*

Friday, October 14, 2005

**Ilijas Farah**, York University

*Nonstationary ideal and CH, III*

Friday, October 7, 2005

**Ilijas Farah**, York University

*Nonstationary ideal and CH II*

Friday, September 30, 2005

**Ilijas Farah**, York University

*Nonstationary ideal and CH*

Friday, September 23, 2005

**David H. Fremlin**, University of Essex and York

Topological spaces after forcing, Part II

Friday, September 16, 2005

**David H. Fremlin**, University of Essex and York

Topological spaces after forcing

Friday, September 9, 2005

**Mike Oliver**, York University

*Borel cardinality of the collection of quotient Boolean algebras*

Friday, September 2, 2005

**James Hirschorn, **Kobe University

*A general preservation theorem for proper countable support iterations*,
*Part III*

Friday, August 26, 2005

**James Hirschorn, **Kobe University

*A general preservation theorem for proper countable support iterations*,
*Part II*

Friday, August 19, 2005

**James Hirschorn, **Kobe University

*A general preservation theorem for proper countable support iterations*

Friday, August 12, 2005 (Cancelled)

Friday, August 5, 2005

**Fernando Hernandez **, UNAM, Morelia

*sup vs max on $\lambda$-sets*

Friday, July 29, 2005

**Ilijas Farah,** York University

*Uniformly exhaustive submeasures are not pathological, Part II*

Abstract: I will finish the proof of the 1984 result of Kalton and
Roberts from the title.

Friday, July 22, 2005

**Ilijas Farah,** York University

*Uniformly exhaustive submeasures are not pathological , Part I*

Friday, July 15, 2005

**Juris Steprans**, York

*A regular CLP-compact space of countable tightness whose square is
not CLP-compact, part II*

back to top