
Kombinatorikus halmazelmélet: kofinális zárt halmazok, stacionárius halmazok, delta-rendszerek, fák
Tranzitív modellek: belső modellek, abszolútság
Nagy számosságok: mérhetőség, elemi beágyazások és ultrahatványok
Forszolás: megszámlálható tranzitív ZFC modellek, forszolás reláció, generikus bővítés, teljes Boole -algebrák
Alkalmazások: CH és nemCH konzisztenciája, ultrafilterek definiálhatatlansága, nemkorlátos operátorok definiálhatatlansága, a kontinuum invariánsai közötti konzisztens egyenlőtlenségek, "káró" konzisztenciája, a Kurepa-Hipotézis konzisztenciája, mérhetőséggel kapcsolatos konzisztenciák
Martin axiómája és következményei: null-mértékű es első-kategóriájú halmazok invariánsai, fák