Set theory

Content created by Egbert Rijke, Fredrik Bakke, Fernando Chu and Jonathan Prieto-Cubides.

Created on 2022-05-16.
Last modified on 2023-05-06.

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

Recent changes