Kaisa_2012_3_photo by Veikko Somerpuro

Large Cardinals 2

This is the continuation of the Large Cardinals course taught in fall 2017. Co-taught with Boban Velickovic.

Boban and JK continue the study the combinatorics of "small" large cardinals such as the weakly compact ones, their equivalent definitions in terms of trees, filters, ultraproducts, Martin's Axiom, reflection and other assorted topics. The Mycielski game and the axiom of determinacy are introduced, specifically how large cardinals (such as measurables) yield determinacy. The exercise class is co-taught with post-doc Hazel Brickhill. Forcing is not required for this course but the course Elements of Set Theory, or equivalent knowledge, is required. The course is passed by taking an exam, or with a project presented in class.

Enrol
2.10.2017 at 09:00 - 15.12.2017 at 23:59

Messages

Juliette Kennedy's picture

Juliette Kennedy

Published, 2.11.2017 at 17:08

Problem set 1 will be done extempore in class Nov. 3rd.

Timetable

Here is the course’s teaching schedule. Check the description for possible other schedules.

DateTimeLocation
Tue 31.10.2017
12:15 - 14:00
Thu 2.11.2017
12:15 - 14:00
Tue 7.11.2017
12:15 - 14:00
Thu 9.11.2017
12:15 - 14:00
Tue 14.11.2017
12:15 - 14:00
Thu 16.11.2017
12:15 - 14:00
Tue 21.11.2017
12:15 - 14:00
Thu 23.11.2017
12:15 - 14:00
Tue 28.11.2017
12:15 - 14:00
Thu 30.11.2017
12:15 - 14:00
Tue 5.12.2017
12:15 - 14:00
Thu 7.12.2017
12:15 - 14:00
Tue 12.12.2017
12:15 - 14:00
Thu 14.12.2017
12:15 - 14:00

Other teaching

03.11. - 10.11.2017 Fri 12.15-14.00
24.11. - 15.12.2017 Fri 12.15-14.00
Juliette Kennedy
Teaching language: English

Material

Some material on Determinacy, including the Gale-Stewart Theorem, which we will cover this week.

Tasks

Homework set 1

Homework set 1

Homework set 2

Homework set 2

Projects

Here are some projects. You can do any of these with a partner:

1. Present the Souslin-Kleene Theorem: A set is borel iff it is analytic and co-analytic

2. Present the theorem: if there is a measurable cardinal then there are only countably many reals in L. (You should familiarise yourself with the concept of indiscernables.)

3. Present Shelah's result in the attached paper of S. Shelah called: Weakly Compact Cardinals: A Combinatorial Proof

4. (Tapio was offered and might choose this): Prove that \kappa weakly compact iff \kappa is Pi^1_1-indescribable iff [\kappa is inaccessible and L_{\kappa, \kappa} satisfies the weak compactness theorem.]

I will provide references to the standard literature if needed.

Homework set 3

Homework set 3

Solutions, homework set 2, q4&5

Solutions, homework set 2, q4&5

Homework set 4

Homework set 4

WHAT WE COVERED IN THE LECTURES

First lecture of the new quarter: We reviewed facts about measurable cardinals: e.g. that they are weakly compact. We then introduced the Axiom of Determinacy (AD), proved that AD refutes the Axiom of Choice, also that AS implies countable choice.