Prohlášení pravdivá v L - Statements true in L
Zde je seznam návrhů, které platí ve konstruovatelném vesmíru (označeném L):
- Hypotézy všeobecného kontinua a v důsledku toho
- Diamondsuit
- Globální náměstí
- Existence moras
- Negace Suslinovy hypotézy
- Neexistence 0 # a jako důsledek
- Neexistence všech velkých kardinálů, z nichž vyplývá existence měřitelného kardinála
- Pravda Whiteheadova domněnky, že každá abelianská skupina A s Ext 1 ( A , Z ) = 0 je volná abelianská skupina .
- Existence definovatelného pořadí všech sad (vzorec, pro který lze explicitně uvést). Zejména L splňuje V = HOD .
Přijetím axiomu konstruovatelnosti (který tvrdí, že každá množina je konstruovatelná ) tyto výroky platí i ve von Neumannově vesmíru , což vyřeší mnoho výroků v teorii množin a některé zajímavé otázky v analýze.
 |
Tento článek související s teorií množin je útržek . Wikipedii můžete pomoci rozšířením . |
