# Homework Set Theory

## Math 145a Set Theory

This page contains some links and information for Math 145a in Fall 2016.Class meets in Science Center 411 (right by the elevators) from 1:00pm-2:30pm on Tuesday and Thursday. Justin Cavitt is your CA.

**Final candy hours:**

- Boney: Monday-Friday, 2:00-3:00pm in Science Center 238
- Cavitt: Thursday, 7pm in Science Center 304

### Course Documents

Here is the syllabus for the course. Of course you should read it, but here are some administrative highlights:Homework (see below) is due every Tuesday.

I don't do office hours, I do candy hours. These are just like office hours, but with candy. Feel free to come just for the candy (or just for the math).

The textbook for this class is "Set Theory: The Independence Phenomenon" by Peter Koellner.

Midterm: October 11

Final: December 12, 2pm

Grade Breakdown:

Homework | 60% |

Midterm | 20% |

Final | 20% |

Beyond the class specifics in the syllabus, this page provides some general guidelines for classes that we should all know, but are also worth making explicit.

### Homework

Homework is due (mostly) every Tuesday in class, at the start of class. See below for the exact schedule.Homework will cover material from the previous week and will be posted no later than a week before it's due.

This year, the math department is starting Math Night where you can go to work with other set theorists on your problem sets.

Assignment | Due Date | |
---|---|---|

ZF-whatsit? | HW1 | Sep. 6 |

I recognize that this is due the second day of class, but want to give you an opportunity to see what homework is like during reading period (and an opportunity to try out Math Night!). | ||

I Axiom of Choose you! | HW2 | Sep. 13 |

Problems 5 and 6 are being moved to next weeks homework, so you don't need to do them. | ||

Every day I'm well-ordering | HW3 | Sep. 22 |

Homework is due Thursday this week instead of Tuesday. | ||

Ordinals on Ordinals | HW4 | Oct. 4 |

No homework due the week of Sep. 27 and 29. | ||

Midterm | N/A | Oct. 11 |

Midterm Review | ||

There will be an in-class midterm on Oct. 11. A review will be posted. | ||

No Homework | N/A | Oct. 18 |

Baire-ly the real numbers | HW5 | Oct. 25 |

Ultrahomework | HW6 | Nov. 1 |

Seeing set theory for the trees | HW7 | Nov. 8 |

Remember to vote if you're able. | ||

These HW puns are tree-rific | HW8 | Nov. 15 |

Models of Set Theory | HW9 | Nov. 29 |

Last homework | HW10 | Dec. 1 |

### Course Notes

This is a collection of notes from class.Notes | |
---|---|

Notes on Transfinite Recursion | |

Notes on Cofinality | |

Midterm Exam | |

Notes on Ultrafilters | |

"The Banach-Tarski Paradox" by Tom Weston | html |

Notes on Normalizing Suslin Trees | |

Notes on Defining L |

### Candy Hours

Just like Office Hours, except there's always free candy! Come for the candy, stay for the free math help.Office: Science Center 238

Candy Hours: Monday 12:30-1:30pm; Thursday 3:00-4:00pm

Extra Candy Hours for the midterm will be held Saturday, October 8 from 2:00-4:00pm

I'm also in my office most of the day, so please email me if you'd like to meet some other time.

### Course Assistant

Our CA is Justin Cavitt.Email: justincavitt@college.harvard.edu

Office Hours: Sunday 6-7pm in SC 304

Justin will often also be at Math Night.

If you have any questions, please feel free to contact me at wboney@math.harvard.edu.

Tweet

K_dot_P_dot_Hart_at_TUDelft_dot_nl Last modified: Friday 12-04-2013 at 10:15:39 (CEST)

## Mastermath: Set Theory (spring 2011)

Here is the page for this course at mastermath.nl.### Form of the exam

The exam will be closed book. It will consist of- 25 multiple choice questions designed to test your knowledge and insight of basic facts and major results; here are some sample questions (more may follow).
- a number of open questions that will test your ability to reproduce/recreate/create proofs of theorems given in class as well as your ability to come up with arguments for results that were not necessarily included in the lectures; here are some sample problems.

## Program

- Week 1: Axioms
- An introduction to Set Theory with an explanation of the need for axioms. The first three axioms: Extensionality, Existence of empty set, Pairing.
- Week 2: More Axioms
- The axioms of Union, power set, separation, infinity, replacement and regularity. A discussion of classes.

Homework: problems 1.4, 1.5, 1.14 and 1.15. Hand in in week 3. - Week 3: Well-orderings and ordinal numbers
- Introduction to well-ordered sets and ordinal numbers. Main results: any two well-ordered sets are comparable and every well-ordered set is isomorphic to an ordinal number.
- Week 4: Well-orderings and ordinal numbers and Cardinal numbers
- Induction and recursion;
- ordinal arithmetic with Cantor normal form (here is a description of a set that represents the ordinal power and a link to Goodstein's paper can be found on the Leiden set theory page, see below);
- well-founded relations
- Definition of `the same cardinality' and a proof that a the cardinality of a set is strictly smaller than that of its power set.

- Week 5: Cardinal numbers and Cardinal Arithmetic.
- Cantor-Bernstein Theorem;
- elementary cardinal arithmetic for cardinalities;
- definition of cardinal numbers and Hessenberg's theorem; the original proof can be found here (on page 109) and yet another proof, by Jourdain, is here;
- cofinality and regular versus singular; a model in which $\omega_1$ is singular can be found in Chapter 15 of the book (Example 15.57).

- Week 6: Axiom of Choice.
- Some proofs that use the axiom of choice from ordinary mathematics, recapitulation of Hartogs' Theorem, definition of choice functions, definition of arbitrary sums and products of sets, various formulations of the axiom of choice, fragments of the axiom of choice (e.g., countable choice), some mathematical equivalents and consequences of the axiom of choice (without proofs), equivalence of AC, the wellordering theorem, and the comparability of cardinals. Definition of Zorn's Lemma.

Homework 5.1, 5.3 and 5.4. Hand in in week 7. (Theorem 4.5 of Chapter 4 may be useful). - Week 7: Axiom of Choice and Cardinal Arithmetic
- equivalence of AC and Zorn'sLemma
- cardinal arithmetic under the Axiom of Choice

- Week 8: Axiom of Choice and Cardinal Arithmetic and The Axiom of Regularity
- Inaccessibility, SCH, Axiom of Regularity vs Axiom Scheme of Regularity (proof that the set version implies the class version), Transitive Closure of a set, von Neumann (cumulative) hierarchy, proof (with regularity) that $V$ is the universe, Scott's Trick (cardinals without the AC), Induction and Recursion on sets, Axioms in the ranks $V_\alpha$: $V_\lambda$ for $\lambda > \omega$ limit is a model of ZC, $V_{\omega+\omega}$ does not satisfy Replacement.

Homework: Exercises 5.8, 5.15, 5.27, and 6.5. Hand in in week 9.

As to the construction of $\mathbb{Z}$, $\mathbb{Q}$ and $\mathbb{R}$, these are quite algebraic:- $\mathbb{Z}$ is constructed from $\mathbb{N}$ using an equivalence relation on the pairs: $\langle k,l\rangle$ is equivalent to $\langle m,n\rangle$ if $k+n=l+m$
- $\mathbb{Q}$ is constructed from $\mathbb{Z}$ as its field of quotients, via an equivalence relation on $\mathbb{Z}\times\mathbb{N}_{>0}$: $\langle k,l\rangle$ is equivalent to $\langle m,n\rangle$ if $k\times n=l\times m$.
- $\mathbb{R}$ is constructed from $\mathbb{Q}$ as the set of Dedekind cuts (see page 39 of the book)

- Week 9: Models of Set Theory, Inaccessible cardinals and Measurable cardinals
- $V_\alpha$ models Replacement implies $\alpha$ is a limit cardinal and an $\aleph$-fixed point. $\kappa$ inaccessible implies $V_\kappa$ models Replacement. A hierarchy of large cardinal axioms:
- IC ("there is an inaccessible"),
- 2IC ("there are two inaccessibles"),
- nIC ("there are n inaccessibles"),
- OrdIC ("there is a proper class of inaccessibles"),
- "there is an inaccessible limit of inaccessibles".

- Week 10: Measurable cardinals and Combinatorial set theory
- Three partition theorems: Ramsey, Erdos-Rado, Dushnik-Miller.

Homework: 10.4, 12.10, 9.5 and the exercise in this file (exercises 9.8 and 9.9 were about material that was not yet covered in class). This exercise needs a stronger property of measurable cardinals: namely that they carry a**normal**ultrafilter, see page 134 and following. Using this property one can show that the homogeneous set can be found in the ultrafilter. - Week 11: Combinatorial set theory and Stationary sets
- More on weakly compact cardinals. The order topology on ordinals. Closed unbounded and stationary sets. The club filter. Mahlo cardinals.
**Correction**: The proof of the statement done in the last few minutes of class (``If $\kappa$ is the least weakly inaccessible cardinal, then the set of regular cardinals below $\kappa$ is not stationary in $\kappa$.'') was incorrect.

Here is a correction: As argued in class, the set of limit cardinals less than $\kappa$ is club in $\kappa$. But since $\kappa$ is the least weakly inaccessible, all limit cardinals below $\kappa$ are singular, so the set $S$ of singular cardinals is club in $\kappa$. The set Reg of regular cardinals below $\kappa$ is disjoint from $S$ and hence not stationary. - Week 12: Stationary sets and Combinatorial set theory
- Mahlo cardinals, properties of the club filter, diagonal intersection, Fodor's lemma, the tree property, every weakly compact cardinal has the tree property.

Homework: 8.5, 8.6 and 9.9. - Week 13: Weakly Compact Cardinals and Powers of singular cardinals
- Finished the discussion of weakly compact cardinals with compactness for infinitary logics. Silver's theorem on the GCH at singular cardinals of uncountable cofinality.
- Week 14: Powers of singular cardinals
- The Galvin-Hajnal theorem. Ordinal functions and scales.

Homework: 17.17, 17.19, 24.2, 24.6.

Two other sources: Burke and Magidor and Abraham and Magidor. - Week 15: Powers of singular cardinals
- We finished the proof of 24.8.

After a discussion of the reasons for studying the powers of singular cardinals we talked about elementary substructures of $H(\theta)$ and we looked ahead at what pcf can tell us about, specifically, $2^{\aleph_\omega}$.

We embarked upon the proof of 24.18. Thus far we did 24.10, 24.19 and 24.20.

Here is a summary of all we learned about cardinal exponentation in Chapter 8.

Here is the paper by Kojman and Shelah on the normal space whose product with the interval $[0,1]$ is not normal. - Week 15: Powers of singular cardinals
- We finished the proof of Theorem 24.18. We ended the course with a sketch/overview of the proof of Theorem 24.33; the theorem on Club-guessing sequences is in Chapter 23. The chapter on cardinal arithmetic by Abraham and Magidor in the Handbook of Set Theory is highly recommended reading; it contains forms of Theorems 24.18 and 24.33 that do not need the strong limit assumptions on $\aleph_\omega$.

## Literature

We shall be using the following text: T. Jech, Set Theory. The Third Millenium Edition. Some universities have access to the on-line version of this book; check the link on the campus of your university.We also recommend the following books

- K. Kunen, Set Theory. An introduction to Independence proofs
- Y. N. Moschovakis, Notes on Set Theory
- K. J. Devlin, The Joy of Sets.

## Course in Leiden

Here is a link to a course in Set Theory in Leiden. It contains links to the original works of Cantor and others.## Other material

Here is Bernard Bolzano's Paradoxien des Unendlichen; the bijection between the intervals $[0,5]$ and $[0,12]$ is discussed on page 29.K_dot_P_dot_Hart_at_TUDelft_dot_nl Last modified: Friday 12-04-2013 at 10:15:39 (CEST)