Mirek Olšák

Recursion on a Cardinal, 16 Essence of Set Theory

Zorn's Lemma, 15 Essence of Set Theory

Formal Recursion, 14 Essence of Set Theory

Axiom of Choice, 13 Essence of Set Theory

Real Numbers as Dedekind's cuts, 12 Essence of Set Theory

Formal numbers, 11 Essence of Set Theory

Cartesian Product -- Formally, 10b Essence of Set Theory

Cartesian Product -- Applications, 10a Essence of Set Theory

Axioms, 9 Essence of Set Theory

Paradoxes and formal theory, 8 Essence of Set Theory

Omega One, 7 Essence of Set Theory

Ordinal Arithmetics, 6 Essence of Set Theory

Ordinal Numbers, 5 Essence of Set Theory

Well Ordering Property, 4 Essence of Set Theory

Set Size Comparison, Continuum, 3 Essence of Set Theory

Set Size Comparison, Countability, 2 Essence of Set Theory

Introduction to Infinity, 1 Essence of Set Theory

Burnsideovo lemma: počítání až na symetrie

Burnside's lemma: counting up to symmetries

Set Theory Animations + Classical Music

Rekurze na kardinálu -- 16. Esence teorie množin

Zornovo lemma -- 15. Esence teorie množin

Formální rekurze -- 14. Esence teorie množin

Axiom výběru -- 13. Esence teorie množin

Reálná čísla jako Dedekindovy řezy -- 12. Esence teorie množin

Formální čísla -- 11. Esence teorie množin

Kartézský součin formálně -- 10b. Esence teorie množin