Kardinální aritmetika: Porovnání verzí

Smazaný obsah Přidaný obsah
Chrupoš (diskuse | příspěvky)
Dopsani zakladni verze
Chrupoš (diskuse | příspěvky)
Řádek 67:
 
Jediné, co lze spolehlivě zjistit z axiomů teorie množin o průběhu funkce <math> 2^{\aleph_{\alpha}} </math> jsou následující tři údaje:
# <math> \alpha \leq \beta \implies 2^{\aleph_{\alpha}} \leq 2^{\aleph_{\alphabeta}} </math>
# <math> \aleph_{\alpha} < 2^{\aleph_{\alpha}} </math>
# <math> \aleph_{\alpha} < cf(2^{\aleph_{\alpha}}) </math> , kde <math> cf(\lambda) \,\! </math> je [[kofinál]] kardinálu kde <math> \lambda \,\! </math>