Fundovaná rekurze
Fundovaná rekurze je matematický pojem z oblasti teorie množin, který zobecňuje transfinitní rekurzi.
- Fundovaná indukce
- Fundovaná indukce je druh matematického důkazu používaný zejména v teorii množin. Je zobecněním transfinitní indukce
- Axiom úplného výběru
- Axiom úplného výběru je matematické tvrzení z oblasti teorie množin. Je zobecněním (obyčejného) axiomu výběru
- Slabě kompaktní kardinál
- Slabě kompaktní kardinál je matematický pojem z oblasti teorie množin. Patří mezi velké kardinály
- Extenzionální relace
- Extenzionální relace je matematický pojem z oblasti teorie množin
- 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
- Důkaz indukcí
- Důkaz indukcí je obecná metoda dokazování matematických vět. Spočívá v prokázání nějakého tvrzení typu „pro všechny objekty jisté třídy platí…“ způsobem, při němž se objekty dané třídy rozdělí do několika podtříd
- 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ů
- Červenofigurový styl
- Červenofigurový styl byl významným druhem zdobení keramiky v období starověkého Řecka. Vznikl kolem roku 530 v Athénách a během několika desetiletí nahradil v rámci starověké řecké keramiky starší černofigurový styl vyvinutý