Rasiowa–Sikorski lemma
ID: rasiowa-sikorski-lemma
The Rasiowa–Sikorski lemma is a result in the field of mathematical logic, particularly in set theory and model theory. It provides a criterion for determining whether a certain kind of subset exists in a model of set theory. The lemma is named after the mathematicians Helena Rasiowa and Andrzej Sikorski, who contributed to the field of logic in the mid-20th century.
New to topics? Read the docs here!