This is an archive for the Toronto Set Theory Seminar







Speaker: Valery Mishkin, Kemorovo State University 
Title: Set-ideals on X whose symmetry group is a maximal subgroup in Sym(X)
Time: Wednesday, 27 May at 2:00pm
Place: SS5017A





Speaker: Valery Mishkin, Kemorovo State University
Title: Set-ideals on X whose symmetry group is a maximal subgroup in Sym(X), 
       Part II
Time: Wednesday, 3 June at 2:00pm
Place: SS5017A




Speaker: Justin Moore, University of Toronto
Title: Two and three dimensional partitions for measure
Time: Wednesday, 10 June at 2:00pm
Place: SS5017A



Speaker: Justin Moore, University of Toronto
Title: Two and three dimensional partitions for measure, part II
Time: Wednjesday, 17 June 1998 at 2:00pm
Place: SS5017A







Speaker: Valery Mishkin, Kemorovo University
Title: Set-ideals with complete symmetric group and partition ideals
Time: Wednesday, 24 June 1998 at 2:00pm
Place: SS5017A




Speaker: Ilijas Farah, York University 
Title: Liftings and finite combinatorics
Time: Wednesday, 28 July 1998 at 2:00pm
Place: SS5017A



Speaker: Ilijas Farah, York University 
Title: Liftings and finite combinatorics
Time: Wednesday, 21 July 1998 at 2:00pm
Place: SS5017A






Speaker: Ilijas Farah, York University
Title: Liftings and finite combinatorics, part II
Time: Wednesday, 29 July at 2:00pm
Place: SS5017A



Speaker: Jose Iovino, University of Toronto
Title: Stability in model theory and reflexivity in Banach space theory
Place: SS5017A
Time: Wednesday, September 2 at 2:00pm



Speaker: Jose Iovino, University of Toronto
Title: Methods from model theory in Banach space geometry
Time: Wednesday, 9 September at 7:00pm
Place: SS5017A


Speaker: Stevo Todorcevic, University of Toronto
Title: Linearity conjecture for Aronszajn trees
Time: Wednesday, 16 September at 7:00pm
Place: SS5017A



Speaker: Stevo Todorcevic, University of Toronto 
Title: The linearity conjecture for Aronszajn trees
Time: Wednesday, 7 October 1998 at 7:00pm
Place: SS5017A



Speaker: Dmitri Shakhmatov, Ehime University
Title: Compactly generated topological groups
Time: Wednesday, October 7, 7:00pm
Place: SS5017A

Remark: Please note that the third part of S. Todorcevic's talk about the 
linearity conjecture for Aronszajn trees has been postponed. 



Speaker: Marion Scheepers, Boise State University
Title: The Borel Conjecture and Ramsey theory
Time: Wednesday, 14ts September at 7:00pm
Place: SS5017A

Speaker: Otmar Spinas, ETH Zentrum, Zurich
Title: TBA
Time: Friday, 16th October at 4:00pm
Place: SS2130



Speaker: Patrick Speisseger
Title:  Model theory of real closed fields: examples of o-minimal structures.
Time: Wednesday, 21 October at 7:00pm
Place: SS5017A



Speaker: Patrick Speisseger
Title:  Model theory of real closed fields: examples of o-minimal structures.
Time: Wednesday, 21 October at 7:00pm
Place: SS5017A

Abstract: In recent years the search for large o-minimal expansions of the
field of real numbers has become an active area of research. Several
examples expanding the structure of globally subanalytic sets have been
found, and several major methods of obtaining such structures were
developed in the process. One of these involves quasianalytic classes of
$C^{\infty}$ functions, and another certain solutions to Pfaffian
differential equations. While these two methods are very geometric in
nature, another method involving model theory of valued real closed fields
has been developed to handle the very special case of the exponential
function. I will try to give a survey outlining these methods in relation
to some specific examples.




Speaker: Gary Gruenhage, Auburn University
Title: Spaces with a Small Diagonal
Time: Wednesday, October 21 at 1:00pm
Place: York University, N638 Ross Building




Speaker: Daniel Deaconu
Title: Linearly Lindelof Spaces
Time: Wednesday, October 28 at 1:30 pm
Place: York University, N638 Ross Building






Speaker: Carlos DiPrisco, IVIC, Caracas
Title: Partitions of sets of finite sequences
Time: Wednesday, 28 OCtober at 7:00pm
Place: SS5017A



Next Wednesday we will have the following three talks: 

Departmental Colloquium at UofT: 
     Speaker: Stevo Todorcevic, University of Toronto
     Title: Infinite-Dimensional Ramsey Theory and Geometry of Banach Spaces
     Time: Wednesday, 4 November 1998, 4:10PM 
     Place: SS5017A
     Remarks: Refreshments will be served in the Math Lounge (SS5017B) 
        at 3:30 .m.
     Abstract: Recent solution of Banach's homogeneous space problem by
     W.T.Gowers, characterizing the Hilbert space as the only homogeneous
     Banach space, is a typical instance of a result from this area of
     mathematics where the methods of infinite-dimensional Ramsey theory
     have been used. The relevance of these methods to the geometry of
     Banach spaces has been known for quite some time and we shall attempt
     to survay some of the history. We shall also present some cases where
     such applications have influenced the development of this part of
     Ramsey theory itself.

Speaker: Renata Grunberg, University of Toronto
Title: Upwards preservation of sequentiality and countable tightness
Time: Wednesday, 4 November 1998, 7:00pm
Place: SS5017A

Speaker: Frank Tall, University of Toronto
Title: The long line is characterized by its topological reflection in an 
       elementary submodel
Time: imediatelly after Renata's lecture
Place: SS5017A




Speaker: Gary Gruenhage, Auburn University
Title: alpha-Toronto spaces
Time: Wednesday, 11 November 1998 at 7:00pm 
Place: SS5017A



Speaker: Slawomir Solecki, University of Indiana
Title: G-delta ideals of compact sets
Time: Wednesday, 18 November 1998 at 7:00pm
Place: SS5017A




Speaker: Ryszard Frankiewitz, Polish Academy of Sciences
Title: TBA
Time: Wednesday, 25 November at 7:00pm
Place: SS5017A

Speaker: Jindrzich Zapletal, Dartmouth College
Title: On Sigma-2-1 absoluteness
Time: Friday, 25 November at 4:00pm
Place: SS5017A


Speaker: Jindrzich Zapletal, Dartmouth College
Title: On Sigma-2-1 absoluteness
Time: Friday, 25 November at 4:00pm
Place: SS1088


Speaker: Ryszard Frankiewitz, Polish Academy of Sciences
Title: TBA
Time: Wednesday, 25 November at 7:00pm
Place: SS5017A




Speaker: Jose Iovino, University of Toronto
Title: Type topologies and geometric properties of Banach spaces
Time: Wednesday, 9 December at 7:00pm
Place: SS5017A



Speaker: Stevo Todorcevic, University of Toronto
Title: Characters in separable Rosenthal compacta
Time: Wednesday, 6 Januarty 1999 at 7:00pm
Place: SS5017A



Speaker: Istvan Juhasz, Hungarian Academy of Sciences
Title: Strongly almost disjoint families
Time: Wednesday, 13 January at 7:00pm
Place: SS5017A





Speaker: Istvan Juhasz, Hungarian Academy of Sciences
Title: Strongly almost disjoint families
Time: Wednesday, 20 January at 7:00pm
Place: SS5017A



Speaker: Istvan Juhasz, Hungarian Academy of Sciences
Title: Strongly almost disjoint families, part II
Time: Wednesday, 20 January at 7:00pm
Place: SS5017A



Speaker: Ilijas Farah, York University
Title: Less N*-images
Date: Wednesday, 3 February at 7:00pm
Place: SS5017A




Speaker: Alan Dow, York University
Title: Embedding the measure algebra into P(N)/fin
Time: Wednesday, 10 February at 7:00pm
Place: SS5017A




Speaker: Justin Moore, University of Toronto	
Title: Random combinatorics
Time: Wednesday, February 24 at 7:00pm
Place: SS5017A







Speaker: Justin Moore, University of Toronto	
Title: Random combinatorics, part II
Time: Wednesday, February 10 at 7:00pm
Place: SS5017A




Speaker1: Justin Moore, University of Toronto
Title: Random combinatorics, part III
Time: Wednesday, March 17 at 7pm
Place: SS5017A

Speaker2: Valery Mischkine, University of Kemerovo
Title: Set Ideals with Isomorphic Symmetry Groups
Time: Immediately after Justin 
Place: SS5017A




Speaker: Stevo Todorcevic, CNRS and University of Toronto
Title: Localized Reflection and Fragments of the Proper Forcing Axiom
Time: Wednesday, March 24 at 4pm
Place: SS1070

Please note the early starting time and the nonstandard room number. 





	In addition to the 4pm seminar by Stevo Todorcevic which has been
previously announced, we will meet again in the evening of March 24:

	Time: 7pm (the usual)
	Place: SS5017A (the usual)
	Speaker: Todd Eisworth, Hebrew University & Ohio University
	Title: Gently Killing S-spaces

Bill Weiss


Speaker: Valery Mischkine, University of Kemerovo
Title: Set Ideals with Isomorphic Symmetry Groups, part II
Time: Wedensday, 31 March at 7:00pm
Place: SS5017A




Speaker: Istvan Juhasz, Hungarian Academy of Sciences
Title: Cardinal sequences
Time: Wednesday, 7 April at 7:00pm
Place: SS5017A





Due to the ongoing construction works near to our usual seminar room, we will
not have a seminar next Wednesday. But please note: 

Thursday, 15 April 1999, 4:00PM -- Fields 230, 222 College Street
     Speaker: Michel Talagrand, Universite Paris VI and Ohio State
              University
     Title: "KOLMOGOROV LECTURE -- Probability and Spin Glasses"
     Abstract: Physicists have developed extremely interesting (but
     nonrigorous) ideas to study mean field models for spin glasses. These
     ideas might offer a way to approach several very natural and important
     problems of stochastic combinatorial optimization, and point towards a
     whole new branch of probability theory. We will try to describe the
     main problems and some of the related issues in a non-technical way.






Speaker: Istvan Juhasz, Hungarian Academy of Sciences
Title: Cardinal sequences II
Time: Wednesday, April 21 1999 at 7pm
Place: SS5017A



Speaker: Justin Moore, University of Toronto	
Title: "A Theorem In Measure Theory"
Time: Wednesday, 28 April 1999 at 7pm
Place: SS5017A




Speaker: Michal Hrusak, York University
Title: Another diamond-like principle: Not all dominating families are the
same
Time: Wednesday, May 5, at 7pm
Place: SS5017a

Special announcement: 
We are delighted to announce that the traditional trianual 
 			BOHOUS DAY
will be held at York University this Thursday, May 6. 
For more information and schedules please contact Alan Dow.


Speaker: Michal Hrusak, York University
Title: Another diamond-like principle: Not all dominating families are the
same,        part II
Time: Wednesday, May 12, at 7pm
Place: SS5017a



Speaker: Bohuslav Balcar, Charles University and CTS, Prague
Title: TBA
TIME: Wednesday, 19 May at 7:00pm
Place: SS5017A


Speaker: K.P. Hart, TU Delft, Netherlands
Title: The Intermediate Value Theorem and Hereditary Indecomposability
Time: Wednesday, 26 May at 7pm
Place: SS5017A

Other announcements: 
The final (essentially) version of "Analytic quotients" is available at
http://www.math.yorku.ca/Who/Guests/Farah/book.html
Comments are welcome. 


Title: P. Koszmider's solution to Hajnal's problem
Time: 7pm, Wednesday, June 2. 
Place: SS5017A

As suggested by Juris and Alan, we will (try to) go over Piotr's forcing c
construction of a strong omega_2-chain. 




Title: P. Koszmider's solution to Hajnal's problem, part II		
Time: 7pm, Wednesday, June . 
Place: SS5017A

We are continuing our joint efforts to understand Piotr's forcing
construction of 
a strong omega_2-chain in $\omega_1^{\omega_1}$. 
 



Speaker: Frank Tall, University of Toronto
Title: An irrational problem (concerning elementary submodels)
Time: Wednesday, June 16, at 7pm
Place: SS5017A



Speaker: V. Mischkine, University of Kemerovo
Title: Normal subgroup lattice in symmetry groups of set ideals on 	
	$N$ (specifically of the Fubini products Fin X 0 and Fin X Fin).
Time: Wednesday. June 23 at 7pm
Place: S5017A




Speaker: Ilijas Farah, York University
Title: A proof of Projective Determinacy
Time: Wednesday, June 30, at 7pm
Place: SS5017A

Abstract: I will present some of the main ideas behind the Martin-Steel proof 
(with some additions and simplifications by Neeman) of projective determinacy 
from large cardinals, trying to avoid technicalities as much as I can. 



Speaker: Justin T. Moore, University of Toronto 
Title: How to almost (but not quite) add a Cohen real
Time: Wednesday, July 7, 7pm
Place: SS5017A



Speaker: Ilijas Farah, York University
Title: Propagating homogeneity and Woodin cardinals
Time: Wednesday, July 21 at 4pm
Place: SS5017A

This is a continuation of the talk of three weeks ago; I will finish the
proof 
of Martin-Steel theorem. It will take two sessions and a break in between. 
This talk will be mostly independent from the previous part.

REMARK: Please note the early starting time! 


Speaker: Todd Eisworth

Title: CH, wD, and the Moore-Mrowka problem

Time: 7:10PM, Wednesday, July 28

Place: SS5017A

We prove a consistency result that says among other things that CH is
consistent with the statement that compact countably tight spaces that
satisfy wD hereditarily are sequential. As a corollary, we get that
Fedorcuk's S-space constructed from diamond cannot be built using CH
alone.  We prove some lemmas in ZFC that have consequences of independent
interest (other than their need for the forcing argument). For example, we
get a metrization theorem for countably compact topological groups and
prove that PFA implies all countably compact T_5 topological groups are
compact metrizable. 






Speaker: Todd Eisworth, Ohio University

Title: CH, wD, and the Moore-Mrowka problem (Part II)

Place: SS5017A

Time: 7:10 PM Wednesday, August 4  






Speaker: Stevo Todorcevic, University of Toronto
Time: Wednesday at 7:10 PM, August 11
Place: SS5017A
Title:   Some dichotomies for P-ideals


Speaker: Stevo Todorcevic
Title: The Namioka Property and Renormings of C(K) Spaces
Time: 7:10 PM Wednesday, August 18
Place: SS5017A




Speaker: Justin Moore, University of Toronto
Title: The Continuum Hypothesis and $\Sigma^2_1$ Absoluteness.
Time:  7:10PM Wednesday, August 25
Place: SS5017A

Abstract:  I will present a sketch of a proof of Woodin's theorem which
says that the Continuum Hypothesis (essentially) implies any consistent
statement of the same logical complexity.  




Speaker: Juris Steprans, York University
Title: TBA
Time: 7:10 PM Wednesday, September 15
Place: SS5017A



Title: Shelah's Proof of The Consistency of d < a.
Speaker: Juris Steprans et al
Time: 7:10 PM Wednesday, September 22
Place: SS5017A


Speaker: Joerg Brendle, Kobe University.
Title: $\mathfrak{tba}$
Time: 7:10 PM Wednesday, September 29
Place: SS5017A

Title: Cohen reals and Souslin trees
Speaker: Joerg Brendle, Kobe University 
Time: 7:10PM Wednesday, September 29
Place: SS5017A




Title: Random trees under CH
Speaker: James Hirschorn, University of Toronto
Time: 7:10 PM Wednesday, October 6
Place: SS5017A




Title:  Cohen Reals And Souslin Trees
Speaker: Joerg Brendle, Kobe University
Time: 7:10 PM Wednesday, September 29
Place: 638 Ross Building (North tower)


Title:  Random Trees Under CH (part 2)
Speaker:  James Hirschorn
Time:  7:10 PM Wednesday, October 13
Place:  SS5017A



Title:  The consistency strength of "Every $\omega_2$ Aronszajn tree is
special."
Speaker:  Bernhard Koenig, LMU Munich
Time: 7:10 PM Wednesday, October 20
Place: SS5017A



Speaker: Maria Losada
Title: Chains and Antichains in Boolean Algebras
Time: 7:10 PM Wednesday, October 27
Place: SS5017A  



Speaker: Maria Losada
Title: Chains and Antichains in Boolean Algebras (part 2)
Time: 7:10 PM Wednesday, November 3rd
Place: SS5017A  




Message from Justin:

(At least) 10 people have told me that they would like to purchase a copy
of Woodin's book at the previously mentioned price of $60 US.  I plan on
arranging the order sometime on Thursday or Friday (November 4-5).  If you
are interested in a copy of the book and have yet to contact me 
(justin@math.toronto.edu) DO SO NOW. 

Cheers,
Justin



Title: Two families of Radon-Nikodym ideals 
Speaker: Vladimir Kanovei (Moscow, MCCME, on leave at Caltech)
Time: 7:10PM Wednesday, November 10
Place: SS5017A


Speaker: Tomek Bartoszynski, Boise State University
Title: On the  asymmetry between measure and category
Time: 7:10PM Wednesday, November 17
Place: SS5017A

Abstract: There are a number of results involving Lebesgue measure
zero sets that remain true if measure is replaced by category. I will
discuss several results where this symmetry is violated.





Title: A Proof Of The Halpern-Lauchli Partition Theorem
Speaker: Vojkan Vuksanovic
Time: 7:10PM Wednesday, November 24
Place: SS5017A


Speaker: Frank Tall
Title: Reflections -- irrational and otherwise.
Time: 7:10PM Wednesday, November 24
Place: SS5017A

Vojkan Vuksanovic will speak next week instead.



Title: A Proof Of The Halpern-Lauchli Partition Theorem
Speaker: Vojkan Vuksanovic
Time: 7:10PM Wednesday, December 1
Place: SS5017A


Speaker: Michael Hrusak, York University
Title: TBA
Time: 7:10PM Wednesday, December 8th
Place: SS5017A


Speaker:  Justin Moore, University of Toronto 
Title:  A new proof that PFA implies c is the second uncountable cardinal. 
Time: 7:10PM Wednesday, January 12
Place: SS5017A



Title: Random Reals and S and L spaces
Speaker: Justin Moore, University of Toronto
Time: 7:10PM Wednesday, January 19
Place: SS5017A


Speaker: Juris Steprans, York University
Title: Martin's Axiom and nowhere trivial automorphisms
Time: 7:10 PM Wednesday, January 26
Place: SS5017A



Speaker: Juris Steprans, York University
Title: Martin's Axiom and nowhere trivial automorphisms part II
Time: 7:10 PM Wednesday, Febuary 2
Place: SS5017A


Speaker:  Frank Tall, University of Toronto
Title:  More irrational reflections
Time:  7:10 PM Wednesday, February 9
Place:  SS5017A


Speaker: Vojkan Vuksanovic, University of Toronto
Title: A new proof of a partition theorem for the random graph.
Time: 7:10 PM Wednesday, February 23
Place: SS5017A



My sincere apologies for missing the seminar this
 past week.
=20
Unrelated to that, some who may not have $100 might
 be interested in this item:


and the Contents and first chapter of Woodin's new book "The Axiom of
 Determinacy, Forcing Axioms and the Nonstationary Ideal" is at
=20
 http://www.degruyter.de/pdf/woodin.pdf
=20
=20
>>>>>>>>>>>>>>>>>> Original Message <<<<<<<<<<<<<<<<<<

On 16/02/00, 4:17:03 PM, Justin Moore  wrote=20=

regarding seminar:


> Speaker: Vojkan Vuksanovic, University of Toronto
> Title: A new proof of a partition theorem for the random graph.
> Time: 7:10 PM Wednesday, February 23
> Place: SS5017A




There will not be a seminar this week (Wednesday, March 8).



Speaker: Pietro Ursino, Universita di Catania
Title: "Some combinatorial and topological aspects of measure preserving
homomorphisms"
Time: 7:10 PM Wednesday, March 15
Place:  SS5017A



Speaker:  Juris Steprans, York University
Title: The size of the autohomeomorphism group of beta N \ N.
Time: 7:10PM Wednesday, March 22
Place:  SS5017A




Speaker:  Juris Steprans, York University
Title: The size of the autohomeomorphism group of beta N \ N (part 2).
Time: 7:10PM Wednesday, March 29
Place:  SS5017A




Speaker:  Juris Steprans, York University
Title: The size of the autohomeomorphism group of beta N \ N (part 3).
Time: 7:10PM Wednesday, April 5
Place:  SS5017A




Tonight's seminar has been canceled.


Speaker: Justin Moore, University of Toronto
Title: Compactifications of S and L spaces and Random Reals.
Time: 7:10PM Wednesday, April 12.
Place: SS5017A


Speaker: Vokjan Vuksanovic
Title: A proof od a partition theorem for [Q]^3
Time: 7:10PM Wednesday, April 19
Place: SS5017A 


Title: A Topological Partition Theorem and Open Covers
Speaker: Istvan Juhasz, Renyi Institute of the Hungarian Academy of
Sciences.
Time: 4:10PM Monday, April 24
Place: SS5017A

NOTE THE UNUSUAL DATE AND TIME

Also Justin Moore will be defending his thesis earlier on this day:

Title: Topics in Ramsey Theory on Sets of Real Numbers
Time: 2:10PM Monday, April 24
Place: SS5017A

A copy of the thesis will be ready on April 17 (contact Justin Moore at
justin@math.toronto.edu).

There will be a break following the defense.



Is anyone driving? Lucia would like a ride. Her e-mail is lucia@ime.usp.br
Frank

Speaker: Fernando Hernandez-Hernandez, York University
Title: Cardinal characteristics on ultrafilters.
Time: 7:10PM Wednesday, May 10th
Place: SS5017A




The seminar will meet at 2:30. Fernando is speaking about
 a paper by Brendle and Shelah.

 Alan
=20




On Tue, 9 May 2000, Alan Dow wrote:

> The seminar will meet at 2:30. Fernando is speaking about
>  a paper by Brendle and Shelah.
> 
>  Alan

...........and we will meet in a different room for this occasion:
	Room 1084 Sid Smith Building (same building, first floor).

	Bill



Speaker: James Hirschorn, University of Toronto
Title: Gaps in the random graph.
Time: 2:30PM Wednesday, 17 May 2000
Place: SS5017A



			At 2:30 PM. today,

	 Fernando Hernandez-Hernandez will speak on 

		Properties of Ultrafilters

			in Room SS2110.

NOTE: 	This is not our usual room - it is on the second floor of the Sid
	Smith Building.



This is just to announce that there will a break in the regular seminar
schedule until July.  In mid June, there will be one or two talks
scheduled surrounding the CMS conference.  These will be announced 1-2
weeks in advance.



Speaker:  Ilijas Farah, Rutgers 
Title:  The complexity of the largest divisible subgroup.
Time:  2:30 PM Wednesday, June 7
Place: SS5017A





Speaker: Juris Steprans
Title: TBA
Time: 2:30 PM Wednesday, June 14
Place: SS5017A


Speaker: Juris Steprans, York University
Title: "Fun with strong measure zero sets"
Time: 2:30 PM Wednesday, June 14
Place:  SS5017A


This week's talk was postponed until next week:

Speaker: Juris Steprans, York University
Title: "Fun with strong measure zero sets"
Time: 2:30 PM Wednesday, June 21
Place:  SS5017A

Note the afternoon time slot.


Apologies to all for having confused 2:30 with 7:00.

Juris

________________________________________________________________________
Juris Steprans			|	steprans@yorku.ca
Department of Mathematics	|	416-736-5250 or, after hours,
York University			|	416-736-2100 ext. 33921
Toronto, Canada       M3J 1P3	|	http://hausdorff.math.yorku.ca





speaker: Ilijas Farah, Rutgers University
title: "Dimension phenomena for beta-N"
time: 2:30PM Wednesday, 28 June 2000
place: SS5017A



Title: Dependence of functions on their coordinates
Speaker: Ilijas Farah, CUNY
Time: 2:30PM Wednesday, July 5
Place: SS5017A


Speaker: Juris Steprans, York University
Title: Countable sequences of somewhat strong measure zero sets.
Time: 2:30PM Wednesday, July 12
Place: SS5017A


Speaker: Berd Jan vander Steeg, TU Delft
Title: TBA
Time: 2:30 PM Wednesday, July 19
Place: SS5017A


	There is no seminar on July 26, but let's have a seminar August 2.
	Piotr and Todd: you have both volunteered to speak sometime.
Thanks.
	Would one of you like to go August 2, the other August 9? Which do
you prefer?
	Best wishes, Bill



We could even have 2 seminars that week and the next. Both Todd and Piotr have
important results and will not be here long so we should leave open the 
possibility of each speaking twice before they leave. I personally would
like to have some seminars at Erindale in August.
Frank

Hi all,

I don't mind speaking twice, or speaking at Erindale --- I can certainly
fill the time. ;)

Best,
todd





OK Todd, thanks for volunteering. Let's put you first on August 2 at 2:30
in the afternoon. If you give me a title I will make the "official"
posting.

On Mon, 24 Jul 2000, Erick Todd Eisworth wrote:

> Hi all,
> 
> I don't mind speaking twice, or speaking at Erindale --- I can certainly
> fill the time. ;)
> 
> Best,
> todd
> 
> 
> 
> 


Hi Bill,


Official title is "CH and the Moore-Mrowka Problem"

See you Wednesday.


Todd





	We meet tomorrow (2 August) at 2:30 in the afternoon in Room SS5017A.  
See you there folks.

On Tue, 1 Aug 2000, Erick Todd Eisworth wrote:

> Hi Bill,
> 
> 
> Official title is "CH and the Moore-Mrowka Problem"
> 
> See you Wednesday.
> 
> 
> Todd
> 
> 
> 


	The Set Theory Seminar will meet (as usual) on Wednesday 9 August
at 2:30 PM in Room 5017A.
	The speaker is Piotr Koszmider. The title will be announced later. 
	
	After the seminar (say, 4:30) let's have a get-together at my
place: 804 Euclid Avenue. If the weather is nice we'll use the backyard.
I'll provide plently of wine, beer, soft drinks and nibbles. All are
welcome.
	Bill Weiss


Well, not only do we have a title for today's seminar we even have an
abstract! Is this a first?

Lecture Wed 2:30PM in SS5017A, party afterwards at 804 Euclid Ave.

Speaker: Piotr Koszmider

TITLE:  New adventures of an old compact space.


 ABSTRACT: I was planning to give a talk on some
 forcing and  set-theoretic
phenomena in non-separable Banach spaces. I am still
planning on distributing the preprint to those who
haven't yet received it and am using
this opportunity to announce the existence of the results.
This has been the subject of my recent research.

However Frank suggested
that I talk about some set-theoretic phenomena related
to forcing and general topology, namely I was
able to observe that one of the compact spaces
I constructed in the deep past answers Frank's question
whether a compact first countable space can be made non-Lindelof
by a countably closed forcing (Yes, it can). I am recalling the main idea
of the construction which is to get a Boolean algebra
in P(omega) whose ultrafilters can be identified with
branches of two to omega_one plus omega and then use some
absolutness of this construction in the generic
extension after forcing with countable functions. 
The full construction is in my recently published paper
(the results are pretty old) 
in Transactions of the AMS "Forcing minimal extensions
of Boolean algebras" and there is no chance I could
even approximate the proof. However I may try
to advertise the properties of the algebra (space).
 Regardless of the question, I think the algebra (space)
is interesting and a very strong construction
(it answers  to an entire programme of research
by the Russian general topology school)  which
is still pretty unknown but it may have many other interesting
applications. 
If time permits I may go into
other adds 
of results or questions
concerning preservation of general topological properies
by forcing.


Lucia Junqueira of the University of Sao Paulo will speak on
"Normal and Lindelof subspaces of the Generalized Cantor Discontinuum"

The previous announcement said Apr 16 when it should have said Aug 16.
On the 23rd I will  speak on " More reflections on compactness"
Frank

I will continue on 
More reflections on compactness
Frank

Paul Szeptycki of York University will speak on
Ladder systems and subsets of omega_1^2.
We will skip the following week; the week after we will move to the 7PM slot
as usual, speaker TBA. Note that there will be a special session on set
theory and set-theoretic topology at the AMS meeting at UofT Sept 23-24.

Bill has suggested that it may be more convenient for many seminar members
to meet at York during the day instead of on Wednesday nights. I am
willing to find a room here if there is general agreement with this plan.
Replying to this note with your available times would let us know if this
is feasible.

Juris

________________________________________________________________________
Juris Steprans			|	steprans@yorku.ca
Department of Mathematics	|	416-736-5250 or, after hours,
York University			|	416-736-2100 ext. 33921
Toronto, Canada       M3J 1P3	|	http://hausdorff.math.yorku.ca





I have booked the seminar room for Wednesdays from 12:00 to 14:00 in N638
Ross until the end of December starting September 20 (although I think we
decided not to use this date). I will find out about parking passes.

Juris

________________________________________________________________________
Juris Steprans			|	steprans@yorku.ca
Department of Mathematics	|	416-736-5250 or, after hours,
York University			|	416-736-2100 ext. 33921
Toronto, Canada       M3J 1P3	|	http://hausdorff.math.yorku.ca





The special session in set theory and set-theoretic topology starts 9AM
Saturday Sept 23rd in Sandford Fleming 4102. the complete program is
available on the AMS website.
frank

Dr F. D. Tall		Fax No. (905) 569-4730
			Tel: (905) 828-3812		
			e-mail: tall@math.utoronto.ca
										




To: Special session participants and seminar members.


	The lecture by John Conway Saturday evening at 6 is followed by a
reception at the Fields Institute.  I thought it would be nice to get
together for dinner after that.  However, given that the reception ends at
8, we'd better eat nearby.  That constraint plus it being Saturday night
unfortunately means I will not be able to meet the standards of the
Rothberger and STACY banquets.  There is however a decent reasonably-priced
Thai restaurant large enough to accommodate us a couple of blocks from the
Fields.  Let me know ASAP if you want to join us, and I will then make
reservations for 8:30.

	



Carmen Cupido
Senior Secretary
Departments of Mathematics and
            Statistics
University of Toronto at Mississauga
South Building, Room 4037
3359 Mississauga Road North
Mississauga, ON L5L 1C6
Phone: (905) 828-3801
FAX:   (905) 569-4730 
Email: ccupido@credit.erin.utoronto.ca

The Thai restaurant was unavailble but I have a better choice: the Elixir
Cafe is a Persian restaurant at 401 Spadina Avenue, near the Fields.  It is
a small space, so do not expect to be seated if you have not reserved with
me by today.  I shall assume that all those that previously e-mailed me
will still attend.
Carmen Cupido
Senior Secretary
Departments of Mathematics and
            Statistics
University of Toronto at Mississauga
South Building, Room 4037
3359 Mississauga Road North
Mississauga, ON L5L 1C6
Phone: (905) 828-3801
FAX:   (905) 569-4730 
Email: ccupido@credit.erin.utoronto.ca

This is to confirm that the seminar is scheduled for today at 12:00.

________________________________________________________________________
Juris Steprans			|	steprans@yorku.ca
Department of Mathematics	|	416-736-5250 or, after hours,
York University			|	416-736-2100 ext. 33921
Toronto, Canada       M3J 1P3	|	http://hausdorff.math.yorku.ca





That should have been **tomorrow** at 12:00.

Juris

________________________________________________________________________
Juris Steprans			|	steprans@yorku.ca
Department of Mathematics	|	416-736-5250 or, after hours,
York University			|	416-736-2100 ext. 33921
Toronto, Canada       M3J 1P3	|	http://hausdorff.math.yorku.ca





Today = Tuesday - did you cross the Intl Date line on your return from Paris?
Frank

Bill and Frank will not be able to make it for 12:00 tomorrow so we will
start at 1:00 instead. Anyone going from St. George campus can get a lift
with Frank.

Juris

________________________________________________________________________
Juris Steprans			|	steprans@yorku.ca
Department of Mathematics	|	416-736-5250 or, after hours,
York University			|	416-736-2100 ext. 33921
Toronto, Canada       M3J 1P3	|	http://hausdorff.math.yorku.ca





After talking to Juris, we decided to hold the Sept 27 seminar but postpone it
till 1. I will drive the StG people to York, but not necessarily back. On
Oct 4 I will speak at York at the regular noon hour on "An uncountable
Lindelof space with no Lindelof subspace os size aleph 1." Tentatively, Paul
will continue on the 11th and I will continue on the 18th.
Frank

Unfortunately I have a 2:10 appointment so will have to leave at 2 sharp.
Can we start at 12:30 instead?

I guess I can still speak for 1 hour if necessary and continue next week.

Paul


On Tue, 26 Sep 2000, Juris Steprans N536Ross wrote:

> Bill and Frank will not be able to make it for 12:00 tomorrow so we will
> start at 1:00 instead. Anyone going from St. George campus can get a lift
> with Frank.
> 
> Juris
> 
> ________________________________________________________________________
> Juris Steprans			|	steprans@yorku.ca
> Department of Mathematics	|	416-736-5250 or, after hours,
> York University			|	416-736-2100 ext. 33921
> Toronto, Canada       M3J 1P3	|	http://hausdorff.math.yorku.ca
> 
> 
> 
> 


Dear Paul + All
	Frank and I have an important meeting at 11 am. today. As soon as
the meeting is over we will go by car to York. We would hope to make it by
12:30 but this cannot of course be guaranteed (Frank is driving!).
	:-)


On Tue, 26 Sep 2000, Paul J. Szeptycki wrote:

> Unfortunately I have a 2:10 appointment so will have to leave at 2 sharp.
> Can we start at 12:30 instead?
> 
> I guess I can still speak for 1 hour if necessary and continue next week.
> 
> Paul
> 
> 
> On Tue, 26 Sep 2000, Juris Steprans N536Ross wrote:
> 
> > Bill and Frank will not be able to make it for 12:00 tomorrow so we will
> > start at 1:00 instead. Anyone going from St. George campus can get a lift
> > with Frank.
> > 
> > Juris
> > 
> > ________________________________________________________________________
> > Juris Steprans			|	steprans@yorku.ca
> > Department of Mathematics	|	416-736-5250 or, after hours,
> > York University			|	416-736-2100 ext. 33921
> > Toronto, Canada       M3J 1P3	|	http://hausdorff.math.yorku.ca
> > 
> > 
> > 
> > 
> 


Paul Szeptycki of York will continue at York at 12 on "An application of
diamond for stationary systems".
I will continue October 18th on "A Lindelof space with no Lindelof subspace
of size aleph 1".
Frank

The seminar is CANCELLED since our speaker is ill. I will continue next week
as planned.
Frank

I will continue "On the existence of Lindelof spaces with no uncountable
Lindelof subspace"

In view of the strike at York, I suggest we move the seminar to the former 
7 pm Sidney Smith 5017A time and place for the duration, and in particular 
for November 1, when I will be continuing on "An accountable Lindelof space 
with no Lindelof subspace of size aleph 1".

 From F.D. Tall




Carmen Cupido
Senior Secretary
Departments of Mathematics and
             Statistics
University of Toronto at Mississauga
South Building, Room 4037
3359 Mississauga Road North
Mississauga, ON L5L 1C6
Phone: (905) 828-3801
FAX:   (905) 569-4730
Email: ccupido@credit.erin.utoronto.ca


Fine with me.

Paul


On Fri, 27 Oct 2000, Carmen Cupido wrote:

> In view of the strike at York, I suggest we move the seminar to the former 
> 7 pm Sidney Smith 5017A time and place for the duration, and in particular 
> for November 1, when I will be continuing on "An accountable Lindelof space 
> with no Lindelof subspace of size aleph 1".
> 
>  From F.D. Tall
> 
> 
> 
> 
> Carmen Cupido
> Senior Secretary
> Departments of Mathematics and
>              Statistics
> University of Toronto at Mississauga
> South Building, Room 4037
> 3359 Mississauga Road North
> Mississauga, ON L5L 1C6
> Phone: (905) 828-3801
> FAX:   (905) 569-4730
> Email: ccupido@credit.erin.utoronto.ca
> 



Does anybody knows anything about locating Michael Hrusak ? 

I have a cheque of his.

Thanks,

Mihaela


Indeed we will meet Wednesday evenings at StG for the duration of the York
strike.I continue tomorrow on "An uncountable Lindelof space with no Lindelof
subspace of size aleph 1"; Paul Szeptycki of York speaks next week on "An
application of diamond for stationary systems".

There will be no seminar that day.

We will not meet this Wednesday, November 22, but we will meet Wednesday
November 29 at 7 PM in SS5017A. Prof. Juris Steprans of York University will
speak on "Sequential separability in dyadic spaces".

Frankiewicz arrives too late on Wednesday to talk in the seminar so,
another speaker will have to be found. I am willing to talk about the
companion result to the one I talked about last week: It is consistent
that p_2 is less than the continuum -- ie. no countable subset of
2^{\omega_1} is sequentially dense and the continuum is arbitrarily large.

Juris
________________________________________________________________________
Juris Steprans			|	steprans@yorku.ca
Department of Mathematics	|	416-736-5250 or, after hours,
York University			|	416-736-2100 ext. 33921
Toronto, Canada       M3J 1P3	|	http://hausdorff.math.yorku.ca





Prof. Juris Steprans of York University will continue speaking on
Sequentially Separable Spaces

I am not sure whether I will be ready then, so we may skip unless someone else
wants to talk. Paul Larson will speak on the 17th.
Frank

From tall  Tue Jan  9 14:40:39 2001
Received: (from tall@localhost) by coxeter.math.toronto.edu (980427.SGI.8.8.8/970903.SGI.AUTOCF/UTMATH-980710) id OAA14223; Tue, 9 Jan 2001 14:40:23 -0500 (EST)
Return-Path: 
Date: Tue, 9 Jan 2001 14:40:23 -0500 (EST)
From: tall (Frank Tall)
Message-Id: <200101091940.OAA14223@coxeter.math.toronto.edu>
To: tall@math.toronto.edu, stevo@math.toronto.edu, homayoun@math.toronto.edu,
        grunberg@math.toronto.edu, ajones@math.toronto.edu,
        weiss@math.toronto.edu, andrzej@math.toronto.edu,
        ilijas@math.toronto.edu, dowa@clid.yorku.ca, steprans@clid.yorku.ca,
        watson@vm1.yorku.ca, dhpell@vm1.yorku.ca, rabus@clid.yorku.ca,
        ysma9105@vm1.yorku.ca, ysma9202@clid.yorku.ca, twang@mathstat.yorku.ca,
        ysma9119@clid.yorku.ca, ysma9304@mathstat.yorku.ca,
        hhu@mathstat.yorku.ca, sbilaniuk@trentu.ca,
        bradd@billy.math.mcmaster.ca, franya@maccs.dcss.mcmaster.ca,
        ghmoore@mcmail.cis.mcmaster.ca, mthbarb@vm.uoguelph.ca,
        szeptyck@ace.cs.ohiou.edu, MTHSWW@ubvms.cc.buffalo.edu,
        leary@uno.cc.geneseo.edu, ida@math.toronto.edu
Subject: forthcoming seminars
Cc: jal@math.ufl.edu
Status: R

There will be no seminar January 10. Paul Larson will speak on January 17 on
"A solution to Katetov's Problem". The question is whether we should meet at
Toronto or York, and at what time. Bill cannot come in the evening. Will the
York battlefield be cleared of debris by then? How do people feel about 
meeting at UofT in the afternoon, if we could get a room? Since I am on]
sabbatical, perhaps Bill can schedule this if you all reply promptly. Thanks.
Frank


I haven't received many replies to my request for input. Therefore what we will
try for the first meeting is a time and place that apparently everyone can come t
to, and then discuss future meetings then. Thus we will meet at 530PM Wed the 
17th in SS5017A to hear Paul Larson speak on Katetov's problem. Paul has also
been persuaded to give a series of talks on PMAX.
Frank

Note the Departmental Colloquium starts at 4; it should be over by 5:30, but
exercise caution in entering the room. If it runs a bit over, we should not
enter until it is finished.
Frank

Paul Larson will continue at 5:40 PM in 5017A on Katetov's Problem
On Wed Jan 31 at the same time and place, Paul Larson will speak on 
PMax.

Wednesday, February 7 at 5:40pm

Speaker: Vojkan Vuksanovic

Title: A canonical partition relation for [Q]^n



The set theory seminar will not meet this week.

Next week, Wednesday, February 21, 5:40 pm

Speaker: Stevo Todorcevic

Title: TBA



Hi Pual,
The room # for the semianr is SS5017A?
Can you let me know?
Thank you.

Yes.


On Mon, 12 Feb 2001, Miranda Tang wrote:

> Hi Pual,
> The room # for the semianr is SS5017A?
> Can you let me know?
> Thank you.
>


---


April 4, Prof. J.Steprans, York U., MAD families and Abelian subgroups
April 11, Prof I. Farah, City University of New York, Reductions between
meager ideals

Ilijas' colloquium talk is tomorrow at 3:30 (Coffee at 3:00) in N638 Ross.

________________________________________________________________________
Juris Steprans			|	steprans@yorku.ca
Department of Mathematics	|	416-736-5250 or, after hours,
York University			|	416-736-2100 ext. 33921
Toronto, Canada       M3J 1P3	|	http://hausdorff.math.yorku.ca





We will not meet on April 18. However note that the operator theory seminar
deals with sets and sequences in the space of continuous functions, while the
number theory seminar is listening to a model-theoretic proof. I hope someone
from our seminar will attend. I will be in portugal so will miss them. York
people can get the details from the dept website. On second thought I will
forward the seminar announcement to our seminar.
Frank

From miranda  Thu Apr 12 12:05:08 2001
Return-Path: 
Received: (from miranda@localhost)
	by coxeter.math.toronto.edu (8.11.0/8.11.0/UTMath 1.0) id f3CG4k218430;
	Thu, 12 Apr 2001 12:04:46 -0400
Date: Thu, 12 Apr 2001 12:04:46 -0400
Message-Id: <200104121604.f3CG4k218430@coxeter.math.toronto.edu>
From: Miranda Tang 
To: All members of the department 
Subject: Math Seminars, Apr.16-20, 2001
Reply-To: miranda@math.toronto.edu
Content-Type: TEXT/PLAIN; charset=US-ASCII
Status: RO

----------------------------------------------------------------------------
----------------------------------------------------------------------------

                        Department of Mathematics
                          University of Toronto

                           SEMINARS & COLLOQUIUM
                     16-April-2001 through 20-April-2001


----------------------------------------------------------------------------
----------------------------------------------------------------------------


Monday, 16 April 2001, 4:10PM -- SS5017A, 100 St. George Street
     Speaker: Vladimir Gurariy, Kent State University
     OPERATOR THEORY SEMINAR -- Anatomies of subspaces and sequences
                                in the space of continuous functions.
     Abstract: Classical and recent results of D.P. Milman,
     A. Pelczynski, P. Enflo, and the author will be discussed.


Monday, 16 April 2001, 5:10PM -- SS5017A, 100 St. George Street
     Speaker: Eduard Tsekanovskii, Niagara University
     OPERATOR THEORY SEMINAR -- Interpolation theory and explicit
                                system solutions.
     Abstract: We introduce sectorial classes of matrix-valued Stieltjes
     functions in which we solve the bitangential interpolation problem
     of Nudelman and Ball-Gohberg-Rodman. We consider also a new type of
     solutions of Nevanlinna-Pick interpolation problems, so-called 
     explicit system solutions generated by Brodskii-Livsic time-invariant
     scattering systems(colligations), and find conditions on 
     interpolation data of their existence, uniqueness and restoration. 
     We point out the connections between sectorial Stieltjes classes and 
     sectorial operators, and establish new properties and inequalities 
     involving classical Nevanlinna-Pick interpolation matrices (in the 
     scalar case).  We present in terms of interpolation data the exact 
     formula for the angle of sectoriality of the main operator in the 
     explicit system solution as well as the criterion for this operator 
     to be extremal. The interpolation model for nonselfadjoint matrices 
     is established. This talk is based on joint work with D. Alpay.


Friday, 20 April 2001, 3:10PM -- SS5017A, 100 St. George Street
     Speaker: Ziv Shami, McMaster University and The Fields Institute
     NUMBER THEORY SEMINAR -- Geometric model theory and its
                              applications.
     Abstract: I'll give a sketch of the model theoretic proof (by
     Hrushovski) of the Manin-Mumford conjecture on the torsion points on
     abelian varieties.


  ------------------------------------------------------------------------


Note the new time. Miranda, please check to see if we can book the room then.
M. Iancu, York U. "On continuous images of Radon-Nikodym compact spaces"

Hi Prof. Tall:
I checked with Ida, it is OK to book the room.
Best regards,
Miranda

M. Iancu will continue on "Continuous images of Radon-Nikodym compact spaces"

Boolean algebras, 3PM.
Paul Szeptycki has requested that next year's seminar be Wed afternoon. 5017A is
in fact available 2-4. Comments?
Frank

Prof. J. Steprans (York U.) will continue on "Cellular families in Boolean
algebras"

Prof. I. Juhasz, Mathematics Institute, Hungarian Academy of Sciences, will
speak on TBA

The title is "Calibers, free sequences, and density"

	First, a reminder that Istvan Juhasz is speaking in our seminar
today at 3 pm.
	Second, a reminder that there will be a party at my house after
the seminar, beginning at 6 pm. We will have food and the usual
interesting beverages. You are all invited; please bring husbands,
girlfriends and such people so that we can meet.
	I made up a map below. If you have navigational problems, call me
at home: 416 535 5776.

	Asia and I live at 804 Euclid Avenue, three blocks northwest
of Bloor and Bathurst. Euclid Avenue is ONE WAY northbound.

               ||    |     |               |                ||
Follis Street__||____|_____|_______________|________________||
               ||    |     |       |       |       |        ||
               ||    |     |       |       |       |        ||
               ||    |     |      !|       |       |        ||
               ||    |     |       |       |       |        ||
Barton Avenue__||____|_____|_______|_______|_______|________||_______
               ||    |     |       |     __|__     |        ||
               ||    |     |       |     | | |     |        ||
Christie Pits  ||    |     |       |     |_|_|     |        ||
               ||    |     |_______|_______|_______|________||
               ||    |     |       |       |       |        ||Bathurst
_______________||____|_____|_______|_______|_______|________||Station
---------------||----|-----|-------^-------|-------|--------||-------
            Christie             Euclid                  Bathurst
	     Street              Avenue                   Street
We look forward to seeing you.


Whoops!!
I sent this out a day early. Please interpret "today" as "Wednesday".
The seminar is Wednesday.
Best wishes.

---------- Forwarded message ----------
Date: Tue, 22 May 2001 10:04:52 -0400 (EDT)
From: William Weiss 
To: set-theory-seminar@math.toronto.edu
Subject: seminar & party

	First, a reminder that Istvan Juhasz is speaking in our seminar
today at 3 pm.
	Second, a reminder that there will be a party at my house after
the seminar, beginning at 6 pm. We will have food and the usual
interesting beverages. You are all invited; please bring husbands,
girlfriends and such people so that we can meet.
	I made up a map below. If you have navigational problems, call me
at home: 416 535 5776.

	Asia and I live at 804 Euclid Avenue, three blocks northwest
of Bloor and Bathurst. Euclid Avenue is ONE WAY northbound.

               ||    |     |               |                ||
Follis Street__||____|_____|_______________|________________||
               ||    |     |       |       |       |        ||
               ||    |     |       |       |       |        ||
               ||    |     |      !|       |       |        ||
               ||    |     |       |       |       |        ||
Barton Avenue__||____|_____|_______|_______|_______|________||_______
               ||    |     |       |     __|__     |        ||
               ||    |     |       |     | | |     |        ||
Christie Pits  ||    |     |       |     |_|_|     |        ||
               ||    |     |_______|_______|_______|________||
               ||    |     |       |       |       |        ||Bathurst
_______________||____|_____|_______|_______|_______|________||Station
---------------||----|-----|-------^-------|-------|--------||-------
            Christie             Euclid                  Bathurst
	     Street              Avenue                   Street
We look forward to seeing you.


We will meet this Wednesday and the next one, too.
Stevo Todorcevic will speak on "Simultaneous Reflection"

Part I 	Wednesday 6 June 3:10 pm in Room SS5017

Part II	Wednesday 13 June 3:10 pm in Room SS5017

Bill



	We will meet next week as usual: Wednesday, 20 June, 3:10 in
SS5017A.
	Max Burke (U.P.E.I) will speak on "Products of Linearly Ordered
Spaces".

	Bill




	Our next 2 regular seminars will be given by Vojkan Vuksanovic.

Wednesday, June 27 in SS5017A
 "A finite basis for equivalence relations on [Q]^n, Part 1"

Wednesday, July 4, in SS5017A
 "A finite basis for equivalence relations on [Q]^n, Part2"

	Also of interest, this Monday June 25, is a seminar at York
University. I include the announcement sent by Prof. Steve Watson; you may
contact him for more details.

Date: Thu, 21 Jun 2001 15:52:18 -0400 (EDT)
From: Stephen Watson 

Topology Seminar
-----------------
Gary Gruenhage (Auburn University) will speak at 1 PM in N638 Ross at York
on Monday, June 25th.
The title is:
"Does C_k(irrationals) have a sigma-closure-preserving base?"
which roughly means:
"How Metric is the Space of Continuous Functions on the Irrationals?"



I will speak on "Reflections on Dyadic Compacta".
Voykan will continue the following week.

The seminar will NOT meet July 18 as previously scheduled. Instead, Voykan
will continue on the 25th and August 1.

Just to confirm - there are no regular seminars scheduled for the
remainder of August. We will begin again sometime in September at the
usual evening time.

There will be a special seminar one week from today (August 29) at 3 pm in
Room 5017A which may be of interest to those who have not yet seen the
proofs of Silver's theorem and Gregory's theorem.

Lionel Van Nyugen The will speak on the Singular Cardinal Hypothesis at
cardinals of uncountable cofinality.
Yehuda Schwartz will speak on getting diamonds at cardinals larger than
Aleph_1.

Best wishes, Bill


yet fixed. If any faculty member will be away for a period of time and therefore
would like his visit scheudled in the complement of that time, please let me
know ASAP.
Frank

Tommorrow we meet at 3pm in SS5017A for two short talks on the GCH.

Lionel Nguyen Van The will give a proof of Silver's Theorem.

Yehuda Schwartz will give a proof of Gregory's Theorem.

Further seminars, beginning later in September, will be Wednesday
afternoons, rather than evenings.

Best wishes, Bill





We have reserved SS5017A on Wednesdays 2-4 pm for our Set Theory Seminar.
We will probably start October 3.
Any suggestions for topics?
Any volunteer speakers?
Any visitors coming?

Best wishes.


	We are now meeting Wednesday afternoons at 2 pm in Room SS5017A.

	Our first seminar will be October 3. Paul Larson will speak.

	Best wishes.


Just a reminder, folks, that the seminar this term is at 2 in the
afternoon, not in the evening.

Wednesday, 3 October, 2001 at 2 pm. in Room SS5017A
Paul Larson will speak on "Bounding by canonical functions, with CH"

Best wishes.



Reminder:
Set Theory seminar TODAY

	3:10 PM in Room SS5017A

Paul Larson continues from last week: Bounding with Canonical Functions
with CH, part 2.

Best wishes


22222222222222222222222222222222222222222222222222222222222222222222

		Of course, the seminar is at 2:10
			(not 3:10)


22222222222222222222222222222222222222222222222222222222222222

Hey, who sent this message? Doesn't he know what time the seminar meets?

---------- Forwarded message ----------
Date: Wed, 10 Oct 2001 12:02:30 -0400 (EDT)
From: William Weiss 
To: set-theory-seminar@math.toronto.edu
Subject: today

Reminder:
Set Theory seminar TODAY

	3:10 PM in Room SS5017A

Paul Larson continues from last week: Bounding with Canonical Functions
with CH, part 2.

Best wishes


Set Theory Seminar Wednesday 17 October 2:10 pm in SS5017A.
Topic: Bounding with Cannonical Functions, with CH, Part 3
Speaker: Paul Larson


By the way, the October 24 meeting of the Set Theory Seminar is cancelled
because of the UofT Department Council Meeting. We resume 31 October.

Best wishes.



Time: October,31, 2.10 pm
Place: SS 5017A
Speaker: Vojkan Vuksanovic
Title: "Canonical equivalence relations on [R]^n"    

Time: Nov.,7, 2.10 pm
Place: SS 5017
Title: TBA
Speaker: Stevo Todorcevic

Time: Nov., 14, 2.10 pm
Place: SS 5017A
Title: More on the size of maximal abelian subgroups of the symmemtric group of integers
Speaker: Juris Steprans 

Time: Nov., 28. 2.10 pm
Place: SS 5017A
Title: Maximal Abelian Subgroups of the Symmetric Group Modulo the Summable Ideal, Part II
Speaker: Juris Steprans, York University

We are having our annual open house on Saturday, January 5. Please come
anytime after 5 -- everyone is welcome. The address is 237 Fairview
Avenue.

Juris

  ...................................................................
  : Juris Steprans		:  416-736-5250 or  	            :
  : Department of Mathematics	:  416-736-2100 ext. 33921   	    :
  : York University   	 	:  http://hausdorff.math.yorku.ca   :
  : Toronto, Ontario  M3J 1P3	:  steprans@yorku.ca		    :
  :.............................:...................................:


Do we have anything on tap? If not, I'd like to
test out a colloquium talk I'm working on. The
regulars will have heard this stuff before
(when does X_M homeomorphic to a subset of R
imply X = X_M?) but it should be new for the
student members and certainly accessible to
them. This would be Jan 16 at the usual time: 2:10.
Frank

Time: Jan., 16, 2.10 pm
Place: SS 5017A
Title: Wnen does X_M homeomorphic to a subset of R imply X = X_M?
Speaker: Frank Tall, U of T


Dear Colleagues,

Vesko Valov will be at York next week on Wednesday, Thursday and Friday
(January 16 through 18) to give a series of lectures on continuous
selections on hyperspaces.  
The lectures will be W 10-11:30 R 2-3:30 and F 10-11:30 all in N638 Ross.
Everyone is welcome.

Cheers,
Steve

Professor Stephen Watson


Department of Mathematics
York University
4700 Keele St.,
North York, Ontario M3J1P3
CANADA

http://math.yorku.ca/~watson/

endofmessage


 







The first meeting of the seminar will be Jan 16 at 2:10.
As mentioned previously, I will speak. From then on, we
will meet Wed at 7:10.

I was misinformed re people's schedules, so it is not so clear
when we should meet. Would the regular attendees please send me
their schedules so I can see what we should do.
Frank

If we want to at least have 2 Pauls, Bill, Juris, and I attend
this term, Wed afternoon and evening are out. On the other hand,
MWF mornings are possible. My preference would be for F morning,
say 10. Comments? 
Frank

I have to attend a meeting this Frioday and will probably ahave a few
others on Fridays as well. So Monday or Wednesday would be better for me.


On Thu, 10 Jan 2002, Frank Tall wrote:

> If we want to at least have 2 Pauls, Bill, Juris, and I attend
> this term, Wed afternoon and evening are out. On the other hand,
> MWF mornings are possible. My preference would be for F morning,
> say 10. Comments?
> Frank
>

  ...................................................................
  : Juris Steprans		:  416-736-5250 or  	            :
  : Department of Mathematics	:  416-736-2100 ext. 33921   	    :
  : York University   	 	:  http://hausdorff.math.yorku.ca   :
  : Toronto, Ontario  M3J 1P3	:  steprans@yorku.ca		    :
  :.............................:...................................:


MWF morning are all fine with me.

Paul

On Thu, 10 Jan 2002, Frank Tall wrote:

> If we want to at least have 2 Pauls, Bill, Juris, and I attend
> this term, Wed afternoon and evening are out. On the other hand,
> MWF mornings are possible. My preference would be for F morning,
> say 10. Comments?
> Frank
>


This is not so easy. How about evenings:
Bill what nights do you have to go to hockey practice?
Paul S: are you free Thursday evenings?
Frank

Mornings are bad for students. It looks like we should either go back
to the traditional Wed eve time and tell Paul to get his act
together next term, or try for thurs eve. Still haven't heard from
our raging hockey dad re that possibility.
Frank

In general Tuesday nights are bad for me.

On Thu, 10 Jan 2002, Frank Tall wrote:

> This is not so easy. How about evenings:
> Bill what nights do you have to go to hockey practice?
> Paul S: are you free Thursday evenings?
> Frank
>


Most Thursday evenings would be OK for me (this term only).

On Fri, 11 Jan 2002, Frank Tall wrote:

> Mornings are bad for students. It looks like we should either go back
> to the traditional Wed eve time and tell Paul to get his act
> together next term, or try for thurs eve. Still haven't heard from
> our raging hockey dad re that possibility.
> Frank
>


It would appear that for this semester, Thursday evenings are fine
with everyone. Any objections?
Frank

It looks like Thursday evening is the time for this term.
Remember, I am speaking tomorrow at 2. I am negotiating
with a couple of speakers so i am not sure whether or
not we will begin next week. Other people interested in
speaking should contact me.
Frank

Note the new time!
Prof. S. Naimpally will speak on "When is a function continuous?"
This talk is accessible to students - no special background is
necessary.

Thursday ss January 24.

On Wed, 16 Jan 2002, Frank Tall wrote:

> Note the new time!
> Prof. S. Naimpally will speak on "When is a function continuous?"
> This talk is accessible to students - no special background is
> necessary.
>

  ...................................................................
  : Juris Steprans		:  416-736-5250 or  	            :
  : Department of Mathematics	:  416-736-2100 ext. 33921   	    :
  : York University   	 	:  http://hausdorff.math.yorku.ca   :
  : Toronto, Ontario  M3J 1P3	:  steprans@yorku.ca		    :
  :.............................:...................................:


Indeed it should be Thursday Jan 24!

Hi Frank,
Could you please let me what is the
speaker's affiliation.
Thanks.


----- Original Message -----
From: Sudha Naimpally 
To: Miranda Tang ;
; 
Cc: 
Sent: Wednesday, January 16, 2002 8:00 PM
Subject: Re: Thursday January 23 7:10 PM 5017A


> I am a retired Professor of Mathematics. I have taught in Bombay,
> Michigan State university, Iowa State University, Unversity of Alberta,
> Lakehead university, IIT Kanpur.
> Som Naimpally
>                                            WHEN   IS   A   FUNCTION
> CONTINUOUS ?
>
> by
>                                                                     Som.
> Naimpally
> 1. INTRDUCTION. In the mathematical literature there are concepts and
> results which are simple, yet profound and beautiful. Some of them can be
> understood by undergraduates but  are not widely known. In this article it
> is proposed to present a few gems related to continuity .  The results are
> from Elementary Analysis and have successive generalizations to metric
> spaces, topological spaces and topological vector spaces. In order to make
> this article accessible to students, we give proofs for functions on IR
to
> IR. Then in the remarks we suggest how the generalizations are conceived.
We
> provide a reasonably complete bibliography which will be useful to those
who
> wish to pursue the subject further.
>
> The main theme in the present article is the decomposition of continuity
> into two weaker conditions. The classical case  that continuity is
> equivalent to upper and lower semi-continuity is widely known. Here we
> present three other such decompositions. The concept of continuity being
one
> of the most important concepts in mathematics, any such decomposition will
> naturally shed more light on it.
>
>
>
> CONTRIBUTION  OF  JOHN  NASH  TO  GENERAL  TOPOLOGY  AND  REAL  ANALYSIS
>                                             by
>                                Som   Naimpally
> With the release of the movie  A BEAUTIFUL MIND  and the publication of
> several books, it is now widely known that John F. Nash, Jr. did  research
> in the Theory of Games which revolutionized  Economics. In other areas of
> mathematics his work  is rated even more  highly by mathematicians. In
this
> brief note, we report on the extensive research in General Topology and
Real
> Analysis that followed a  problem posed by him in 1956. We provide a short
> bibliography and readers interested in this subject will find further
> references in those given here and in the issues of the journals  Real
> Analysis Exchange and  Fundamenta Mathematica.
>
> In ( Na ) we find the following:
> Define a " connectivity map " from a space  A  into a space  B  as one
such
> that the induced map  A  à A ´ B  preserves the connectedness of any
> connected set in  A. Must every connectivity map of a cell into itself
have
> a fixed point ?
>
> Motivation for this problem stems from the fact that to prove the Brouwer
> fixed points theorem for dimension 1, we need the function to have merely
a
> connected graph, which is a consequence of continuity. So it is natural to
> ask if the result is true for higher dimensional cells for a connectivity
> function. Hamilton ( Ha  ) showed that the problem has an affirmative
> solution but his proof contained a gap. This gap was filled by Stallings
>  St ) and the importance of connectivity functions was established.
> Moreover, Hamilton introduced peripherally continuous functions  and
> Stallings  introduced  almost continuous functions which are closely
related
> to connectivity functions. These together with the previously known
> connected  or  Darboux functions and their generalizations began to be
> studied widely.
>
> A beautiful characterization of connectivity functions was discovered by
> Hilderbrand and Sanderson ( HS ).
> THEOREM: Let  f :  ( X, T )  à ( Y, T' ) be a function and consider the
> topology  t  generated by  T È f  -1 ( T' ) on  X . Then  f  is a
> connectivity function if and only if  T  and  t induce the same family of
> connected sets in  X .
>
>                                  REFERENCES
> ( Br 1 ) J. B. Brown, Connectivity, semi-continuity and the Darboux
> property,  Duke Math, J 36 ( 1969 ), 559-562.
> ( Br 2 ) J. B. Brown, Negligible sets for real connectivity functions,
Proc.
> Amer. Math. Soc. 24 ( 1970 ), 263-269.
> ( Co ) J. L. Cornette, Connectivity functions and images of Peano
continua,
> Fund. Math. 58 ( 1966 ), 183-192.
> ( GA ) B. D. Garret and D. L. Alexander, Concerning equivalence of almost
> continuous and connectivity functions of Baire class 1 on Peano continua,
> Topology Proc.  4 ( 1979 ), 385-391.
> ( GK ) R. G. Gibson and K. R. Kellum,  Darboux ( B ) functions,
connectivity
> ( B ) functions and functions of Baire class 1, Colloq. Math. 35 ( 1976 ),
> 247-251.
> ( GR ) R. G. Gibson and F. Roush, The uniform limit of connectivity
> functions, Real Analysis Exchange 11 ( 1985-86 ), 254-259.
> ( Ha ) O. H. Hamilton, Fixed points for certain noncontinuous
> transformations, Proc. Amer. Math. Soc. 8 ( 1957 ), 750-756.
> ( HS ) S. K. Hilderbrand and D. E. Sanderson, Connectivity functions and
> retracts,  Fund. Math. 57 ( 1965 ), 237-245.
> ( Ho ) H. B. Hoyle, III,  Connectivity maps and almost continuous
functions,
> Duke Math. J  37 ( 1970 ), 671-680.
> ( Ke ) K. R. Kellum, Almost continuity and connectivity - sometimes it's
> easy to prove a stronger result, Real Analysis Exchange 8
>  1982-83 ), 244-252.
> ( Na ) J. Nash,  Research Problem 1:  Generalized Brouwer Theorem, Bull.
> Amer. Math. Soc. 62( 1956 ), 76.
> ( Nai ) S. A. Naimpally, Function space topologies for connectivity and
> semi-connectivity functions, Canad. Math. Bull. 9 ( 1966 ), 349-352.
> ( Ro ) J. H. Roberts, Zero-dimansional sets blocking connectivity
functions,
> Fund. Math. 57 ( 1965 ), 173-179.
> ( Sa ) D. E. Sanderson,  Relations among some basic properties of
> non-continuous functions, Duke Math. J 35 ( 1968 ), 407-414.
> ( St ) J. Stallings, Fixed point theorems for connectivity maps, Fund.
Math.
> 47 ( 1959 ), 249-263.
> Som Naimpally (Professor  Emeritus of Mathematics, Lakehead University )
> 96 Dewson Street
> Toronto, Ontario
> M6H  1H3  CANADA
> e-mail:   sudha@accglobal.net
> website: www.naimpally.com
> Phone: 416-588-8612 ( Home ).
>
>
>
>
>
>
>
>
> ----- Original Message -----
> From: Miranda Tang 
> To: ; ;
> 
> Cc: 
> Sent: Wednesday, January 16, 2002 3:11 PM
> Subject: Re: Thursday January 23 7:10 PM 5017A
>
>
> > Hi Frank,
> > Could you please let me what is the
> > speaker's affiliation.
> > Thanks.
> >
> >
> >
>



Prof. P. Szeptycki, York University
Some applications of elementary submodels to topology

I will speak on "Toward proving locally compact perfectly
normal spaces may all be paracompact"

Prof. Ilijas Farah of CUNY (Staten island) will
speak on Two F-sigma-delta ideals.
Note the time change for just this one time.

Piotr will speak; it's reading week at UofT. should
we meet in the afternoon or the evening? Piotr suggests
going out to eat afterwards; after an evening seminar
is a bit late. But whenis York's reading week, Piotr's
week or Ilijas' week?
Frank

York's reading week is the coming one -- ie. Ilijas'. However, I am told
that this may not be Atkinson's reading week, so I am not sure if Paul S.
will be able to make it after all. Nevertheless I can make it to an early
Thursday seminar.

Juris

On Tue, 5 Feb 2002, Frank Tall wrote:

> Piotr will speak; it's reading week at UofT. should
> we meet in the afternoon or the evening? Piotr suggests
> going out to eat afterwards; after an evening seminar
> is a bit late. But whenis York's reading week, Piotr's
> week or Ilijas' week?
> Frank
>

  ...................................................................
  : Juris Steprans		:  416-736-5250 or  	            :
  : Department of Mathematics	:  416-736-2100 ext. 33921   	    :
  : York University   	 	:  http://hausdorff.math.yorku.ca   :
  : Toronto, Ontario  M3J 1P3	:  steprans@yorku.ca		    :
  :.............................:...................................:


There will likely be a room change. Stay tuned.

The times are confirmed, Wed eve for Ilijas, and 8 days later in
the evening forPiotr. The room for Ilijas is not yet set. After
Piotr's talk, those interested will go out for dinner.

I can now confirm that we will be in our usual spot for Ilijas'
talk.
3 weeks from tonight Paul L. and/or I will continue on the
paracompactness proof.

Hi to everybody,

That sounds like a good idea - why not go out for a dinner after my talk as
well?
(Or before, if it is too late.)

Ilijas

http://www.math.csi.cuny.edu/~farah/
----- Original Message -----
From: "Frank Tall" 
To: 
Sent: Thursday, February 07, 2002 1:19 PM
Subject: Ilijas, Piotr


> The times are confirmed, Wed eve for Ilijas, and 8 days later in
> the evening forPiotr. The room for Ilijas is not yet set. After
> Piotr's talk, those interested will go out for dinner.

We will go out for dinner after Ilijas's talk as well.

Feb 21 P. Koszmider TBA
Feb 28 P. Larson and F.Tall "The rest of the proof 
(mod Stevo) that locally compact perfectly normal
spaces may all be paracompact"
Mar 7 F. Tall "On the metrizability of T5 manifolds 
of dim > 1"
Mar 14 TBA
Mar 21 TBA
(A. Blass)

Piotr's title is "Remarks on Banach spaces C(X) for some 
set-theoretically interesting X".

I will speak on "The metrizability of hereditarily normal manifolds".

I will finish up the locally compact proof next week and then start the
work on manifolds. Probably Paul and I will have enough to fill the following 
week as well. Then Andreas comes. We have an opening on March 28; the following
2 weeks, Peter Apostoli of the Philosophy Dept will introduce "rough sets" and
prove CH fails for them.
The confusion last night was because Nyikos had misquoted Gruenhage. In order to
get what I ascribed to Gruenhage, one needs PFA, so I cannot in fact at this point
do without Stevo's second theorem and therefore the supercompact.

I will speak on
Metrizability of hereditarily normal manifolds

I meant to say i will be continuing MARCH 14. Andreas is tentatively
on for March 21.

Frank,

Blass is here that Thursday. Are you willing to move yourt talk to next
week?

On Tue, 5 Mar 2002, Frank Tall wrote:

> I will speak on
> Metrizability of hereditarily normal manifolds
>

  ...................................................................
  : Juris Steprans		:  416-736-5250 or  	            :
  : Department of Mathematics	:  416-736-2100 ext. 33921   	    :
  : York University   	 	:  http://hausdorff.math.yorku.ca   :
  : Toronto, Ontario  M3J 1P3	:  steprans@yorku.ca		    :
  :.............................:...................................:


Prof. Andreas Blass of the University of Michigan will speak on
"Sequential composition and Baire category"

Prof. A. Blass's talk has been rescheduled to 5PM in N638 Ross at York U.

Prof. Peter Apostoli of the the Philosophy Dept, U of T, will
speak on "The continuum hypothesis fails for rough sets".

April 11, Prof Peter Apostoli of the Philosophy Dept will continue on
"The continuum hypothesis fails for rough sets"
April 18, I will speak on "Locally compact spaces with hereditarily normal
squares may all be metrizable"

Shall we revert to Wed evening? The number theory and Lie grooups
seminar wants the 2-4 slot but we have first refusal. Actually, in the
fall we might want to meet at Fields.
Frank

Meeting at The Fields in the fall seems like a reasonable idea. We can
choose pretty well any time slot we like then.

On Thu, 11 Apr 2002, Frank Tall wrote:

> Shall we revert to Wed evening? The number theory and Lie grooups
> seminar wants the 2-4 slot but we have first refusal. Actually, in the
> fall we might want to meet at Fields.
> Frank
>

  ...................................................................
  : Juris Steprans		:  416-736-5250 or  	            :
  : Department of Mathematics	:  416-736-2100 ext. 33921   	    :
  : York University   	 	:  http://hausdorff.math.yorku.ca   :
  : Toronto, Ontario  M3J 1P3	:  steprans@yorku.ca		    :
  :.............................:...................................:


Also, having more than one seminar a week might be a good idea, as otherwise
the
number of potential speakers would exceed the number of available time
slots.

Ilijas

----- Original Message -----
From: "Juris Steprans" 
To: "Frank Tall" 
Cc: 
Sent: Thursday, April 11, 2002 4:33 PM
Subject: Re: times for next year


> Meeting at The Fields in the fall seems like a reasonable idea. We can
> choose pretty well any time slot we like then.
>
> On Thu, 11 Apr 2002, Frank Tall wrote:
>
> > Shall we revert to Wed evening? The number theory and Lie grooups
> > seminar wants the 2-4 slot but we have first refusal. Actually, in the
> > fall we might want to meet at Fields.
> > Frank
> >
>
>   ...................................................................
>   : Juris Steprans :  416-736-5250 or              :
>   : Department of Mathematics :  416-736-2100 ext. 33921       :
>   : York University   :  http://hausdorff.math.yorku.ca   :
>   : Toronto, Ontario  M3J 1P3 :  steprans@yorku.ca     :
>   :.............................:...................................:
>

I will speak on "More consistency results concerning locally compact
hereditarily normal spaces"

My talk has been postponed to the following week. Instead, Paul
Larson of the University of Toronto will speak on
"Preserving ideal axioms by Souslin forcing".

Paul found out that he won't be here Thursday so we are back to the
original schedule, which has me speaking this week. Paul will speak
next week but has requested a time change. Would next Wednesday at 2
be agreeable to everyone? I am still waiting to hear from someone
about his schedule before fixing a regular time for May and beyond.

Note the change in date and time. Paul Larson will give
the lecture previously announced for this week.

Our summer time, starting now, is Wednesdays at 2, in 5017A.
There will not be a seminar next week; the next seminar will be
May 15, Juris Steprans of York U will be speaking, title TBA.

2 PM. Prof. Juris Steprans of York University
will speak on "Analytic maximal almost disjoint
families and a question of Yi Zhang"

Prof J. Steprans (York U.) will continue "On a question of Yi Zhang".

	There is some possibility that the seminar will meet Wednesday
morning or Thursday next week because Vojkan's PhD oral exam takes place
at our usual seminar time. Ilijas, Stevo and Alan will all be in town.
	So it's time for a party.
	You are all invited to a BBQ at my place, 804 Euclid Avenue, to
begin at 5 pm. Cool refreshments will be provided! Please bring with you
your husband, wife, really good friend, etc.
	Please reply by email so that I can get an estimate of how many
are coming.
	Be prepared to offer words of congratulation to Vojkan for
passing his examination, or words of condolence should he not pass :-).

	Asia and I live at 804 Euclid Avenue, three blocks northwest
of Bloor and Bathurst. "X" marks the spot. Euclid Avenue is ONE WAY
northbound. Telephone 4165355776.

               ||      |     |               |                ||
Follis Street__||______|_____|_______________|________________||
               ||      |     |       |       |       |        ||
               ||      |     |      X|       |       |        ||
               ||      |     |       |       |       |        ||
               ||      |     |       |       |       |        ||
Barton Avenue__||______|_____|_______|_______|_______|________||_______
               ||      |     |       |     __|__     |        ||
               ||      |     |       |     | | |     |        ||
Christie Pits  ||      |     |       |     |_|_|     |        ||
   Park        ||      |     |_______|_______|_______|________||
               ||Subway|     |       |       |       |        ||Subway
Bloor St.______||St.___|_____|_______|_______|_______|________||Station
---------------||------|-----|-------^-------|-------|--------||-------
            Christie               Euclid                   Bathurst
	     Street                Avenue                    Street


Prof. Alan Dow of the University of North Carolina at Charlotte
will speak. Title  and room TBA.

will be in 5017A

Prof. S. Todorcevic (University of Toronto) will speak on "Generic absoluteness
and the continuum"

Hi folks, my apologies if this message is a repeat of an earlier
announcement. Bill

---------- Forwarded message ----------
Date: Wed, 12 Jun 2002 23:12:15 -0400 (EDT)
From: William Weiss 
To: set-theory-seminar@coxeter.math.toronto.edu
Subject: Fields

	We will begin meeting at the Fields Institute as part of the special
semester of Set Theory & Analysis.  The next seminar will be Wednesday
June 19 at 4:30 pm. Peter Nyikos will speak; an abstract of his talk is
included below.
	Since these seminar announcements may be infrequent, members of
the our seminar should subscribe to the Fields Institute electronic
bulletin for seminar news over the next six months. Mail to:
		programs@fields.utoronto.ca	 for information.
	Best wishes, Bill


Abstract: In the year before Zermelo published his proof of the well-ordering
principle from AC, the renowned Cambridge mathematician G. H. Hardy published
a proof that there is an uncountable well-orderable subset of the real line.
Hardy's technique was surprisingly modern: he used a ladder system on
$\omega_1$ to build an uncountable set of sequences of natural numbers
well-ordered by the preorder $<^*$ of eventual domination.  We now know
that some form of the axiom of choice (AC) is needed for this, and even
that the existence of Hardy's uncountable set does not imply the
existence of a ladder system on $\omega_1$ just assuming ZF. Other
axioms related to these two will be discussed, along with many equivalents
of the ladder system axiom, including the existence of a Hausdorff
gap and of a well-orderable special Aronszajn tree.








Hmmm, doesnt seem to be any action when Im not around. Peter Nyikos
will speak onT5 non-metrizable manifolds on the 24th, I guess at 2
at the Fields. Ill fix the details when I return next week.
Frank

Prof. Peter Nyikos of U of S. Carolina will speak on

The metrizability of hereditarily normal manifolds.

The talk will be at the Fields Institute; the room is not yet determined.


Nyikos' talk will take place at the Stewart Library at the Fields.

July 31, 2PM, Stewart Library at the Fields Institute
Dr. Paul Larson of the Fields Institute will speak on "Stationary-tower forcing".