Topological Proofs of Some Rasiowa-Sikorski Lemmas
Studia Logica 100 (1-2):175-191 (2012)
| Abstract | 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. This is preceded by a discussion of criteria for compactness of various spaces of subsets of a lattice, including spaces of filters, prime filters etc | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesCecylia Rauszer & Bogdan Sabalski (1975). Notes on the Rasiowa-Sikorski Lemma. Studia Logica 34 (3):265 - 268.
Andrzej W. Jankowski (1986). Retracts of the Closure Space of Filters in the Lattice of All Subsets. Studia Logica 45 (2):135 - 154.
Robert Goldblatt (1985). On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic. Journal of Symbolic Logic 50 (2):412-422.
Helena Rasiowa (1985). Topological Representations of Post Algebras of Order Ω+ and Open Theories Based on Ω+-Valued Post Logic. Studia Logica 44 (4):353 - 368.
Joanna Golinska-Pilarek (2007). Rasiowa-Sikorski Proof System for the Non-Fregean Sentential Logic SCI. Journal of Applied Non-Classical Logics 17 (4):509–517.
Andrzej Sendlewski (1990). Nelson Algebras Through Heyting Ones: I. Studia Logica 49 (1):105 - 126.
Katalin Bimbó (2007). Functorial Duality for Ortholattices and de Morgan Lattices. Logica Universalis 1 (2).
Isidore Fleischer & Philip Scott (1991). An Algebraic Treatment of the Barwise Compactness Theory. Studia Logica 50 (2):217 - 223.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Andrzej W. Jankowski (1985). Disjunctions in Closure Spaces. Studia Logica 44 (1):11 - 24.
Helena Rasiowa (1994). Axiomatization and Completeness of Uncountably Valued Approximation Logic. Studia Logica 53 (1):137 - 160.
Sergio A. Celani & Hernán J. San Martín (2012). Frontal Operators in Weak Heyting Algebras. Studia Logica 100 (1-2):91-114.
Moshe S. Goldberg (1983). Topological Duality for Distributive Ockham Algebras. Studia Logica 42 (1):23 - 31.
Andrzej W. Jankowski (1985). Universality of the Closure Space of Filters in the Algebra of All Subsets. Studia Logica 44 (1):1 - 9.
Analytics
Monthly downloads |
Added to index2012-02-08Total downloads4 ( #178,675 of 549,088 )Recent downloads (6 months)2 ( #37,333 of 549,088 )How can I increase my downloads? |
My notes
Discussion
