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.