Models of Set Theory

Abstract

Transitive models of set theory, the relative consistency of the axiom of choice using the hereditarily ordinal definable sets, forcing conditions and generic filters, generic extensions, ZFC holds in generic extensions, the relative consistency of the continuum hypothesis and of the negation of the continuum hypothesis, possible behaviours of the function 2, the relative consistency of the negation of the axiom of choice.