At Dennis Sullivan’s request, I shall speak on set-theoretic topics, particularly the continuum hypothesis, for the Einstein Chair Mathematics Seminar at the CUNY Graduate Center, April 27, 2015, in two parts:
- An introductory background talk at 11 am, Room GC 6417
- The main talk at 2 – 4 pm, Room GC 6417
I look forward to what I hope will be an interesting and fruitful interaction. There will be coffee/tea and lunch between the two parts.
Abstract. I shall present several set-theoretic ideas for a non-set-theoretic mathematical audience, focusing particularly on the continuum hypothesis and related issues.
At the introductory background talk, in the morning (11 am), I shall discuss and prove the Cantor-Bendixson theorem, which asserts that every closed set of reals is the union of a countable set and a perfect set (a closed set with no isolated points), and explain how it led to Cantor’s development of the ordinal numbers and how it establishes that the continuum hypothesis holds for closed sets of reals. We’ll see that there are closed sets of arbitrarily large countable Cantor-Bendixson rank. We’ll talk about the ordinals, about $\omega_1$, the long line, and, time permitting, we’ll discuss Suslin’s hypothesis.
At the main talk, in the afternoon (2 pm), I’ll begin with a discussion of the continuum hypothesis, including an explanation of the history and logical status of this axiom with respect to the other axioms of set theory, and establish the connection between the continuum hypothesis and Freiling’s axiom of symmetry. I’ll explain the axiom of determinacy and some of its applications and its rich logical situation, connected with large cardinals. I’ll briefly mention the themes and goals of the subjects of cardinal characteristics of the continuum and of Borel equivalence relation theory. If time permits, I’d like to explain some fun geometric decompositions of space that proceed in a transfinite recursion using the axiom of choice, mentioning the open questions concerning whether there can be such decompositions that are Borel.
Dennis has requested that at some point the discussion turn to the role of set theory in the foundation for mathematics, compared for example to that of category theory, and I would look forward to that. I would be prepared also to discuss the Feferman theory in comparison to Grothendieck’s axiom of universes, and other issues relating set theory to category theory.
Slides or recording will be available, please?
The talk will be video recorded and made available here after a few days. The Einstein Chair Seminar keeps a video archive of all their talks.
Thank you Joel! Great talk!! Everyone was enjoying every minute. What a wonderful group and meeting!
Thanks, Erin. I’m glad you enjoyed it.
Indeed, a very nice and dynamical talk (just finished watching the video). Also the audience was very interesting. I’m giving a course now on applications of Descriptive Set Theory to Computer Science (mostly based on Kechris), and I’ll recommend to my students to check the way you presented the related results for R, very neat.
Most probably I’ll be bothering you in the near future with some question on ST (which I like very much but didn’t have the chance to work on yet). Best,
I’m glad you enjoyed the talk. Please be my guest to ask questions about set theory!
Where can I find the the slides and the video of these talks?
I guess the video got moved and link is now broken. I’ll try to find out where they are available.
I’ve now updated the links.