Rychlý průvodce technikou pro získání nezávislých sentencí v teorii množin

Abstrakt

Kapitola shrnuje techniky, které se používají při důkazech nezávislosti sentencí nad teorií množin (ZF), ve formě přístupné obecné logické komunitě. Zahrnuje techniku vnitřních modelů i forcing.