A note on r− S lemma

Rauszer and Sabalski proved in [2] that distributivity with respect to infi- nite joins and meets is a sucient and necessary condition making the RasiowaSikorski Lemma valid in distributive lattices. The main part of their proof is a direct construction of a required filter under distributivity. In this note we show that a generalization of the result can be obtained from the Rasiowa-Sikorski Lemma for Boolean algebras by using Gornemann’s result in [1] instead of a direct con- ¨ struction. Suppose A is a distributive lattice and Q; R 2 A f;g. We call A complete if 8M 2 Q9 M 2 A and 8N 2 R9 F N 2 A. M 2 Q is -dis if 9 M 2 A and 8a 2 A a t M = m2M. N 2 R is F -dis if 9 F N 2 A and 8a 2 A a u F N = F n2N. is called distributive if every M 2 Q is -dis and every N 2 R is F -dis. Suppose A is complete and C; D A. By rC we mean the filter in A generated by C, in particular, let r; = ; = ;. is called complete if and , where 8M 2 Q 9m 2 MrC \ D[fmg = ;) 8N 2 R 9n 2 NrC[fng \ D = ;)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,405
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Note on a Lemma of J. W. Addison.Richard L. Poss - 1970 - Notre Dame Journal of Formal Logic 11 (3):337-339.
A Covering Lemma for L(ℝ).Daniel W. Cunningham - 2002 - Archive for Mathematical Logic 41 (1):49-54.
Variations of Rado's Lemma.Paul Howard - 1993 - Mathematical Logic Quarterly 39 (1):353-356.
Ramsey’s Theorem and König’s Lemma.T. E. Forster & J. K. Truss - 2007 - Archive for Mathematical Logic 46 (1):37-42.
Some New Intuitionistic Equivalents of Zorn’s Lemma.John L. Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.
Effective Borel Degrees of Some Topological Functions.Guido Gherardi - 2006 - Mathematical Logic Quarterly 52 (6):625-642.
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.
Reverse Mathematics and a Ramsey-Type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.
Syntactic Representation in the Lemma Stratum.Holly P. Branigan & Martin J. Pickering - 2004 - Behavioral and Brain Sciences 27 (2):296-297.


Added to PP index

Total views
21 ( #443,199 of 2,286,272 )

Recent downloads (6 months)
3 ( #415,305 of 2,286,272 )

How can I increase my downloads?


My notes

Sign in to use this feature