Topological Proofs of Some Rasiowa-Sikorski Lemmas

被引：0
|
作者：
Robert Goldblatt
机构：
[1] Victoria University of Wellington,
来源：
Studia Logica | 2012年 / 100卷
关键词：
Rasiowa-Sikorski Lemma; Baire category theorem; Priestley topology; compact; dense; lattice; distributive; Heyting algebra; prime filter; join; meet;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We give topological proofs of Görnemann’s adaptation to Heyting algebras of the Rasiowa-Sikorski Lemma for Boolean algebras; and of the Rauszer-Sabalski generalisation of it to distributive lattices. The arguments use the Priestley topology on the set of prime filters, and the Baire category theorem.
引用
收藏
页码：175 / 191
页数：16
相关论文
共 50 条
12345