Portál:Logika/Teorie množin: Porovnání verzí
(Založena nová stránka s textem „* Forcing“) |
|||
| Řádek 1: | Řádek 1: | ||
| + | * [[Axiomy teorie množin]] | ||
| + | * [[Cantorova věta]] | [[Cantor-Bernsteinova věta]] | ||
| + | * [[Axiom výběru]] | [[Princip maximality]] | [[Princip dobrého uspořádání]] | ||
| + | * [[Transfinitní indukce]] | [[Fundované univerzum]] | ||
| + | * [[Ordinální čísla]] | [[Ordinální aritmetika]] | ||
| + | * [[Kardinální čísla]] | [[Kardinální aritmetika]] | ||
| + | * [[Hypotéza kontinua]] | ||
| + | * [[Regulární a singulární kardinály]] | [[Kofinalita]] | ||
* [[Forcing]] | * [[Forcing]] | ||
Aktuální verze z 9. 12. 2014, 22:57
- Axiomy teorie množin
- Cantorova věta | Cantor-Bernsteinova věta
- Axiom výběru | Princip maximality | Princip dobrého uspořádání
- Transfinitní indukce | Fundované univerzum
- Ordinální čísla | Ordinální aritmetika
- Kardinální čísla | Kardinální aritmetika
- Hypotéza kontinua
- Regulární a singulární kardinály | Kofinalita
- Forcing
Text je dostupný pod licencí Creative Commons Uveďte autora 3.0 Česko při dodržení případných autorských práv a dalších podmínek
© 2013 ISSN: 2336-5897
