Velké kardinály
Velké kardinály či velká kardinální čísla je v teorii množin souhrnné označení pro kardinální čísla, jejichž existence je nezávislá na axiomech Zermelovy–Fraenkelovy teorie s axiomem výběru (ZFC). Existence či neexistence každého z těchto čísel má v ZF závažné důsledky týkající se zejména nekonečné kombinatoriky. Často však přijetí axiomu postulujícího existenci nějakého velkého kardinálu zásadně ovlivňuje vlastnosti o kardinálech malých ( …).
- Nedosažitelný kardinál
- Nedosažitelný kardinál je matematický pojem z oblasti teorie množin. Patří mezi velké kardinály
- Slabě nedosažitelný kardinál
- Slabě nedosažitelný kardinál je matematický pojem z oblasti teorie množin. Je nejmenším z velkých kardinálů
- Mahlův kardinál
- Mahlův kardinál je matematický pojem z oblasti teorie množin. Patří mezi velké kardinály
- Fundované jádro
- Fundované jádro je matematický pojem z oblasti teorie množin. V axiomatizaci ZF_ vymezuje třídu množin, která je vnitřním modelem ZF v ZF
- Regulární ordinál
- Regulární ordinál je matematický pojem z oblasti teorie množin
- Stacionární množina
- Stacionární množina je matematický pojem z oblasti teorie množin, konkrétně nekonečné kombinatoriky
- Gödelova věta o úplnosti predikátové logiky
- Gödelova věta o úplnosti predikátové logiky je základní větou matematické logiky. Dává do souvislosti syntaktický pojem dokazatelnosti a sémantický pojem pravdivosti v modelu
- Elementární vnoření
- Elementární vnoření je matematický pojem z oblasti teorie modelů
- Axiom závislého výběru
- Axiom závislého výběru je matematické tvrzení z oblasti teorie množin, které je slabší verzí axiomu výběru
- Polydicyklopentadien
- Polydicyklopentadien je polymer vyráběný polymerizací dicyklopentadienu metatezí s otevíráním kruhu