This week in the GTG, our speaker will be Jill Kaiser. she will be giving a talk on Suslin lines and trees, which are a precursor to forcing.

Abstract:

A Suslin line is a linearly ordered topological space which is c.c.c. (i.e. satisfies the countable chain condition) and is not separable. We will define a Suslin tree and show that if a Suslin tree exists, then a Suslin line exists. We will define/recall other relevant definitions and facts for the talk.