Rasiowé-Sikorského lemma: Porovnání verzí

m (Veronika Kovrzková (ver.kovrzkova@centrum.cz) přesunul stránku Rasiové-Sikorského lemma na Rasiowé-Sikorského lemma)
 
(Žádný rozdíl)

Aktuální verze z 25. 10. 2014, 20:42

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.