Book:Nik Weaver/Forcing for Mathematicians

From ProofWiki
Jump to: navigation, search

Nik Weaver: Forcing for Mathematicians

Published $2014$, World Scientific

ISBN 978-981-4566-00-1.


Subject Matter


Contents

Peano Arithmetic
Zermelo–Fraenkel Set Theory
Well-Ordered Sets
Ordinals
Cardinals
Relativization
Reflection
Forcing Notions
Generic Extensions
Forcing Equality
The Fundamental Theorem
Forcing $CH$
Forcing $\lnot CH$
Families of Entire Functions
Self-Homeomorphisms of $\beta \N \mathrel \backslash \N$, I
Pure States on $B \left({H}\right)$
The Diamond Principle
Suslin's Problem, I
Naimark's problem
A Stronger Diamond
Whitehead's Problem, I
Iterated Forcing
Martin's Axiom
Suslin's Problem, II
Whitehead's Problem, II
The Open Coloring Axiom
Self-Homeomorphisms of $\beta \N \mathrel \backslash \N$, II
Automorphisms of the Calkin Algebra, I
Automorphisms of the Calkin Algebra, II
The Multiverse Interpretation