Premium
An Extension of the Lemma of Rasiowa and Sikorski
Author(s) -
Flum Jörg
Publication year - 1998
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19980440409
Subject(s) - lemma (botany) , mathematics , extension (predicate logic) , pure mathematics , discrete mathematics , combinatorics , computer science , programming language , biology , ecology , poaceae
We prove an extension of the Lemma of Rasiowa and Sikorski and give some applications. Moreover, we analyze the relationship to corresponding results on the omission of types.