+41 21 692 35 88
EPFL > SB > SB-SMA > SMA-ENS
Web site: Web site: https://sma.epfl.ch/
Teaching & PhD
Set Theory as a foundational system for mathematics. ZF, ZFC and ZF with atoms. Relative consistency of the Axiom of Choice, the Continuum Hypothesis, the reals as a countable union of countable sets, the existence of a countable family of pairs without any choice function.