Rasiowa-Sikorski lemma

Allikas: Vikipeedia
Jump to navigation Jump to search

Rasiowa-Sikorski lemma on aksiomaatilises hulgateoorias oluline tulemus, mis väidab teatud omadustega filtri olemasolu. Sellele tulemusele toetub forsseerimise meetod.

Formuleering[muuda | muuda lähteteksti]

Olgu eeljärjestus ning hulga tihedate alamhulkade ülimalt loenduv hulk. Siis eksisteerib iga korral filter omadustega:

  • kõigi korral.

Viimase omadusega filtreid nimetatakse ka -geneerilisteks.