| 2008/09Fridays
 | Speaker and Talk 
                    Title | 
               
                | *Monday June 1* Fields Institute
 Room 210
 | 10:30-12:00 Speaker KP Hart (Miami University, Ohio 
                    and Delft, Netherlands)Title: TBA
 1:30-3:00 Speaker Marion Scheepers (Boise State)Title: TBA
 3:30-5:00 Speaker: Paul Larson (Miami University, 
                    Ohio)Title: Universally measurable sets in generic extensions.
 | 
               
                | Wednesday, May 27*
 1:30-3:00 in BA6183 on 6th fl. Bahen Centre
 | OF NOTE Speaker: Gary Gruenhage (Auburn)
 Title: SLIM DENSE SETS IN PRODUCTS
 | 
               
                | *Thursday May 28*
 1:30-3:00 in Bahen Centre 6183
 | OF NOTE Speaker: Justin Moore (Cornell)
 Title: Fast growth of the Folner function for Thompson's group 
                  F.
 | 
               
                | May 22, 2009 1:30-3:00
 | Beatriz Zamora-Aviles (York University) Analytic P-ideals on $B(H)^+_{\leq 
                  1}$
 | 
               
                | May 15, 2009 1:30-3:00
 | Tamas Matrai (University of 
                  Toronto) Infinite dimensional perfect set theorems
 We obtain infinite dimensional analogues of some classical perfect 
                  set theorems, and we indicate how these result can be applied 
                  to the study of analytic ideals.
 | 
               
                | May 8, 2009 | No talk scheduled | 
               
                |  | Slides of 
                  Talk Simon Thomas (Rutgers University)
 Some Consequences of Martin's Conjecture
 Abstract: In this talk, I will explore some of the consequences 
                  of Martin's Conjecture on degree invariant Borel maps. These 
                  include the strongest conceivable ergodicity result for the 
                  Turing equivalence relation, as well as the statement that the 
                  complexity of a universal countable Borel equivalence relation 
                  always concentrates on a null set.
 | 
               
                | April 24, 2009 1:30-3:00
 | lijas Farah (York University) Nonseparable UHF algebras
 Uniformly HyperFinite (UHF) algebras are those C* algebras in 
                  which every finite subset is `near' a finite-dimensional full 
                  matrix subalgebra. This can be formalized in three different 
                  ways, all three being equivalent in the separable case. Separable 
                  UHF algebras were classified in the 1960s by Glimm and Dixmier. 
                  Dixmier asked whether three definitions are equivalent in the 
                  nonseparable case. I will give a complete answer to this question 
                  as well as some remarks on extending the Glimm-Dixmier theorem 
                  to the nonseparable case.
 This is a joint work with Takeshi Katsura.
 | 
               
                | April 17, 2009 1:30-3:00
 | Frank Tall (University of Toronto)Lindelof spaces and selection principles, II.
 We continue our investigation of Lindelof spaces and selection 
                    principles, focusing on the relationships among productive 
                    Lindelofness and the Menger and Hurewicz properties.
 | 
               
                | March 27/09 1:30-3:00
 |  Jordi Lopez Abad (Universite Denis-Diderot Paris7)Generic constructions of Banach spaces.
 The aim of this talk is to present a forcing construction 
                    "à la Cohen" of generic Banach spaces. These 
                    spaces are Gurarij spaces, and in the case of the non-separable 
                    context, they can be non-isomorphic. These constructions can 
                    also be used to distinguish the existence of different kind 
                    of uncountable biorthogonal-like sequences.
 This is a joint work with S. Todorcevic.
 | 
               
                | March 20/09 1:30-3:00
 | Arnie Miller (University of Wisconsin, 
                  Madison) The hierarchy of $\omega_1$-Borel sets
 The family $\omega_1$-Borel sets is the smallest family of subsets 
                  of the real line which contains the family of open sets and 
                  is closed under complementation and $\omega_1$ unions. We show:
 Theorem 1. MA + not CH implies this hierarchy has length $\omega_2$.
 Theorem 2. In the Cohen real model it has length either $\omega_1+1$ 
                  or $omega_1+2.
 
 | 
               
                | March 20/09 3:15 - 4:45
 | Natasha Dobrinen, (University of Denver) Tukey degrees of ultrafilters
 Let $U$ and $V$ be ultrafilters on $\omega$. We say that $V$ 
                  is Tukey reducible to $U$ ($V\le_T U$) if there is a "Tukey 
                  map" $g: V\rightarrow U$, meaning that $g$ maps unbounded 
                  subsets of $V$ to unbounded subsets of $U$. Equivalently, there 
                  is a "cofinal" map $f: U\rightarrow V$ which maps 
                  cofinal subsets of $U$ to cofinal subsets of $V$. Tukey reducibility 
                  is a generalization of Rudin-Keisler reducibility.
 In general, $V\le_{RK} U$ implies $V\le_T U$ but not vice versa. 
                  However, it is still unknown if this is the case for p-points. 
                  We present some results on the structure of the Tukey degrees 
                  of ultrafilters on $\omega$, concentrating on p-points and ultrafilters 
                  with similar properties, along with many
 questions.
 This is joint work with Stevo Todorcevic.
 | 
               
                | March 13 1:30-3:00
 | Alexander Pyshchev (Nipissing University)On nonstandard hull-like spaces.
 We investigate topological spaces obtained as quotients of 
                    internal sets in a nonstandard universe.
 | 
               
                | March 13 3:15 - 4:45
 | Carlos DiPrisco, (IVIC, Venezuela) Chromatic numbers of analytic shift graphs
 | 
               
                | February 27 
 | Christopher Miller (Ohio State University)Tameness in expansions of the real field
 What should it mean for a first-order expansion of the 
                    field of real numbers to be tame, or well behaved? In recent 
                    years, much attention has been paid by model theorists and 
                    real-analytic geometers
 to the o-minimal setting: expansions of the real field in 
                    which every definable set has finitely many connected components. 
                    But there are expansions of the real field that are tame in 
                    some well-defined sense, yet define sets with infinitely many 
                    connected components. Moreover, there are different kinds 
                    of tameness that can arise. The analysis of these structures 
                    tends to require a mixture of model-theoretic,
 analytic-geometric and descriptive set-theoretic techniques. 
                    Underlying all this is an idea that first-order definability, 
                    in combination with the field structure, can be used as a 
                    tool for determining how
 complicated given sets of real numbers are, in particular, 
                    this gives us a new way to think about projective sets. This 
                    will be a primarily expository survey talk, intended to be 
                    accessible to anyone with a background in basic logic.
 | 
               
                | February 20 1:30-3:00
 | Frank Tall (University 
                  of Toronto) Selection principles and Lindelof 
                  spaces which are indestructible, productive, or D.
 | 
               
                | February 13 2:00 - 3:30
 
 | Dilip Raghavan (University 
                  of Toronto) Suslin Lattices (Continued)
 | 
               
                | February 6, 2009 2:00 - 3:30
 
 | Dilip Raghavan (University of Toronto) Suslin Lattices
 | 
               
                | January 23/09 1:30-3:00
 | Leandro Aurichi (University of Sao Paolo) TBA
 | 
               
                | January 16/09 1:30-3:00
 | Asger Tornquist (University 
                  of Vienna) Borel reducibility and von Neumann equivalence
 | 
               
                | January 9/09 1:30-3:00
 | Lionel Nguyen Van Thé 
                  (University of Calgary) Problems and results around metric oscillation stability.
 In 1994, Odell et Schlumprecht built a uniformly continuous 
                  map
from the unit sphere of the Hilbert space into 
                  the unit interval and which
does not stabilize on 
                  any isometric copy of the sphere. This anti-Ramsey
result 
                  allowed to show that the Hilbert space has a property known 
                  as
'distortion'. The purpose of this talk is to consider 
                  similar problems
when the Hilbert space is replaced 
                  by the so-called Urysohn metric space.
 | 
               
                | December 19, 1:30-3:00
   | Tamas Matrai (University of Toronto)Sigma-ideals of compact sets in the Tukey ordering, continued
 | 
               
                | December 12 1:30-3:00
 | Tamas Matrai (University of 
                  Toronto) Sigma-ideals of compact sets in the Tukey ordering
 We introduce a construction scheme of G_delta sigma-ideals of 
                  compact sets and we try to find the place of the ideals obtained 
                  in the Tukey ordering.
 | 
               
                | December 5 1:30-3:00
 | Matthew Foreman (University 
                  of California, Irvine) Rational Invariant Measures
 Global questions about classifications of ergodic measure preserving 
                  transformations are usually studied by adopting one or another 
                  universal model for the measure preserving transformations. 
                  In this lecture I describe a new universal model investigated 
                  in joint work with B. Weiss. The underlying space of this model 
                  is $\Sigma^Z$, where $\Sigma$ is a countable set. The new part 
                  is that the invariant measures are required to give rational 
                  values to each cylindar set.
 | 
               
                | November 28 1:30-3:00
 | Leandro Aurichi (University of Sao Palo, Brazil)D-spaces and games
 Some games related to D-spaces, Rothberger and Menger spaces
 | 
               
                | November 21 1:30-3:00
 | (TALK HAS BEEN CANCELLED this week)Dilip Raghavan, University of Toronto
 The P-ideal Dichotomy and Lattices
 | 
               
                | November 14 1:30-3:00
 | Bernhard Koenig (University of Toronto)Variations of Axiom (continued)
 It is known that Fleissner's Axiom R is basically a variation 
                    of the stationary reflection principle. We investigate the 
                    exact status of Axiom R within the realm of stationary reflection 
                    principles by presenting some implications but also independence 
                    results.
 | 
               
                | November 7 1:30-3:00
 | Bernhard Koenig (University 
                  of Toronto) Variations of Axiom
 It is known that Fleissner's Axiom R is basically a variation 
                  of the stationary reflection principle. We investigate the exact 
                  status of Axiom R within the realm of stationary reflection 
                  principles by presenting some implications but also independence 
                  results.
 | 
               
                | October 31 1:30-3:00
 | Carlos Azarel (University of Toronto) Well quasi-ordering Aronszjan lines II
 We will prove that under PFA the class of Aronszjan lines is 
                  well quasi-ordered.
 | 
               
                | October 24, 1:30-3:00
 | Carlos Azarel (University of Toronto)Well quasi-ordering Aronszjan lines.
 We will prove that under PFA the class of Aronszjan lines 
                    is well quasi-ordered.
 | 
               
                | October 17, 1:30-3:00
 **Room change
 Stewart Library**
 | Stevo Todorcevic (University of Toronto 
                  and CNRS Paris) Forcing with a coherent Souslin tree
 | 
               
                | October 10 1:30-3:00pm
 
 | Leandro Aurichi (University of Sao Paolo, Brazil)The Rothberger and Menger properties
 We show some applications of these properties, including 
                    some related to preservation by forcing.
 | 
               
                | September 19 1:30-3:00pm
 
 | Tamas Matrai (University of Toronto) Hurewicz testing
 | 
               
                | September 12, 1:30-3:00
 | Tamas Matrai (University of Toronto)Introduction
 I would like to present three topics I plan to work on 
                    during my stay in Toronto. These are:
 1) Tukey reducibility of ideals and $\sigma$-ideals
 2) Borel reducibility among $\ell^{p}$-like equivalence relations
 3) Hurewicz testing
 | 
               
                | September 5 1:30-3:00
 | Leandro Aurichi (University of Sao Paolo, Brazil)Trees with fine wedge and coarse wedge topologies.
 We present a technique for constructing some examples 
                    of spaces which answer some questions on discretely generated 
                    properties and spaces.
 | 
               
                | August 29 1:30-3:00pm
 | Asger Tornquist (University 
                  of Toronto) Essentially countable equivalence relations
 A Borel equivalence relation is essentially countable if it 
                  is Borel reducible to a Borel equivalence relation with countable 
                  classes. We will give a new and simpler proof of a Theorem of 
                  Greg Hjorth, which states that there is more essentially countable 
                  Borel equivalence relations than there are Borel equivalence 
                  relations with countable classes.
 | 
               
                | August 22 1:30-3:00pm
 | Dilip Raghavan (University of Toronto)Proof of a conjecture of Brendle
 | 
               
                | July 11, 2008 room 210
 | Dilip Raghavan (University of Toronto) A Van Douwen MAD family in ZFC.
 |