Rasiowé-Sikorského lemma

Verze z 25. 10. 2014, 17:34, kterou vytvořil Veronika.Kovrzkova (diskuse | příspěvky) (Založena nová stránka s textem „Mějme <math>S_{n}\subseteq \mathbb{B}</math> takové, že <math>\bigwedge S_{n}</math> je definovaná <math>\forall n \in \omega$</math>. Pak existuje utr…“)

(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)

Mějme $S_{n}\subseteq \mathbb {B}$ takové, že $\bigwedge S_{n}$ je definovaná $\forall n\in \omega \$$ . Pak existuje utrafiltr $U$ na $\mathbb {B}$ takový, že kdykoli $S_{n}\subseteq U$ , pak i $\bigwedge S_{n}\in U$ .

Důsledkem této věty je úplnost predikátové logiky.

Citováno z „https://wikisofia.cz/w/index.php?title=Rasiowé-Sikorského_lemma&oldid=7217“