Topological proofs of some Rasiowa-Sikorski lemmas

DOI10.1007/s11225-012-9374-2zbMath1259.06009OpenAlexW2121392054WikidataQ124879756 ScholiaQ124879756MaRDI QIDQ454394

Robert Goldblatt

Publication date: 1 October 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9374-2

zbMATH Keywords

distributive latticescompactnessHeyting algebraBaire category theoremprime filterPriestley topologyRasiowa-Sikorski lemmaspaces of subsets of a lattice

Mathematics Subject Classification ID

Compactness (54D30) Heyting algebras (lattice-theoretic aspects) (06D20) Structure and representation theory of distributive lattices (06D05)

Related Items

Concurrent weighted logic ⋮ Alternation-free weighted mu-calculus: decidability and completeness ⋮ A stochastic interpretation of game logic ⋮ Complete proof systems for weighted modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on the Rasiowa-Sikorski lemma
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• On closed elements in closure algebras
• The Stone Space of an Ortholattice
• A logic stronger than intuitionism
• Prime Ideal Structure in Commutative Rings
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Topological representations of distributive lattices and Brouwerian logics
• A proof of the completeness theorem of Grödel
• Algebraic Treatment of the Functional Calculi of Heyting and Lewis