Read more about this series at the first post.
Part 9: the main lemma ctd.
In short:
- Destroying P-points in any further $\omega^\omega$-bounding extensions.
- Second and final part of the proof.
Read more about this series at the first post.
In short:
Read more about this series at the first post.
In short:
My apologies for the blogging hiatus. Let’s continue.
Read more about this series at the first post.
In short:
Read more about this series at the first post.
In short:
Read more about this series at the first post.
In short:
Read more about this series at the first post.
In short:
Read more about this series at the first post.
In short:
To get some research back into this blog, I will, over the course of the next few weeks, post some handwritten notes about a couple of well-known results by Shelah: the model without P-points, the model with a unique selective ultrafilter and the model with a unique P-point.
These notes were written for my recent series of talks at the UofM’s Logic Seminar here in Ann Arbor and came out of an ongoing collaboration with David Chodounsky from Prague. The source for this presentation is Shelah’s Proper and Improper Forcing.
The notes were written using Xournal.
In short: