This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Set theory

Files in the set theory folder

module set-theory where

open import set-theory.baire-space public
open import set-theory.cantor-space public
open import set-theory.cardinalities public
open import set-theory.countable-sets public
open import set-theory.cumulative-hierarchy public
open import set-theory.infinite-sets public
open import set-theory.uncountable-sets public