Synopsis
The Setting.- First-Order Logic in a Nutshell.- Axioms of Set Theory.- Overture: Ramsey's Theorem.- Cardinal Relations in ZF Only.- Forms of Choice.- How to Make Two Balls from One.- Models of Set Theory with Atoms.- Thirteen Cardinals and Their Relations.- The Shattering Number Revisited.- Happy Families and Their Relatives.- Coda: A Dual Form of Ramsey's Theorem.- The Idea of Forcing.- Martin's Axiom.- The Notion of Forcing.- Proving Unprovability.- Models in Which AC Fails.- Combining Forcing Notions.- Models in Which p=c.- Suslin's Problem.- Properties of Forcing Extensions.- Cohen Forcing Revisited.- Sacks Forcing.- Silver-Like Forcing Notions.- Miller Forcing.- Mathias Forcing.- How Many Ramsey Ultrafilters Exist?.- Combinatorial Properties of Sets of Partitions.- Suite.
"synopsis" may belong to another edition of this title.
