7.2 Cardinality and Countability
Cardinality, finite and infinite sets, countable sets, uncountable sets, and Cantor diagonal arguments.
Tag
Cardinality
4 notes
Chapter 7. Basic Set Theory
Basic set theoretic notions including sets, relations, functions, cardinality, ordinals, well ordering, cardinal arithmetic, and the ZF and ZFC axioms.
5.2 Lowenheim Skolem Theorems
Downward and upward Lowenheim Skolem theorems and their consequences for model sizes in first order logic.
1.4 Finite vs Infinite Objects
Distinction between finite and infinite objects, methods of reasoning, and consequences across mathematics.