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)
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.