Shelah's Model without P-points, part 1
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.
Part 1: Basic Definitions
In short:
- Definitions
- Grigorieff forcing
- Sacks forcing with a filter
- P-filter, P-point
- non-meagre filter
