Rasiowé-Sikorského lemma

Verze z 25. 10. 2014, 20:42, kterou vytvořil Veronika.Kovrzkova (diskuse | příspěvky) (Veronika Kovrzková (ver.kovrzkova@centrum.cz) přesunul stránku Rasiové-Sikorského lemma na Rasiowé-Sikorského lemma)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)

Lemma pojmenované po polských matematicích Heleně Rasiowé a Romanu Sikorském je jednou z forcingových technik. Důsledkem tohoto lemmatu je úplnost predikátové logiky pro spočetné jazyky. Rasiowa-Sikorski lemma se také používá v teorii množin k prokázání existence generických filtrů nad spočetnými strukturami.

Znění

Mějme takové, že je definovaná . Pak existuje ultrafiltr na takový, že kdykoli , pak i .

Zdroj

  • MONK J. Donald. Handbook of Boolean algebras: Vol. 1. North-Holland, 1989.