×

An extension of the lemma of Rasiowa and Sikorski. (English) Zbl 0919.03048

The author proves an extension of the Rasiowa-Sikorski Lemma. This is done by investigating the least fixed point of a monotone operation. The extension is used to obtain results on omitting types.
Reviewer: M.Weese (Potsdam)

MSC:

03G05 Logical aspects of Boolean algebras
03C50 Models with special properties (saturated, rigid, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Admissible Sets and Structures. Springer-Verlag, Berlin-Heidelberg-New York 1975. · doi:10.1007/978-3-662-11035-5
[2] and , Interpolation, preservation, and pebble games. Preprint 1996.
[3] Barwise, J. Symbolic Logic 43 pp 521– (1978)
[4] Casanovas, J. Symbolic Logic 41 pp 236– (1996) · Zbl 0854.03025 · doi:10.2307/2275607
[5] General Theory of Boolean Algebras. Volume I of Handbook of Boolean Algebras (ed.), North-Holland Publ. Comp., Amsterdam-New York-Oxford 1989.
[6] Admissible sets and infinitary logic. In: Handbook of Mathematical Logic (ed.), North-Holland Publ. Comp., Amsterdam-New York-Oxford 1977, pp. 233–281. · doi:10.1016/S0049-237X(08)71103-0
[7] Newelski, J. Symbolic Logic 52 pp 1020– (1987)
[8] Rasiowa, Fund. Math. 37 pp 193– (1950)
[9] Ryll-Nardzewski, Bull. Acad. Pol. Sci. 7 pp 545– (1959)
[10] Descriptive set theory in L{\(\omega\)}1,{\(\omega\)} In: Cambridge Summer School in Mathematical Logic (ed.), Lecture Notes in Mathematics 337, Springer-Verlag, Berlin-Heidelberg 1973, pp. 574–598.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.