Topological proofs of some Rasiowa-Sikorski lemmas (Q454394): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-012-9374-2
@@ Property / DOI: 10.1007/s11225-012-9374-2 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D20
@@ Property / Mathematics Subject Classification ID: 06D20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D05
@@ Property / Mathematics Subject Classification ID: 06D05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D30
@@ Property / Mathematics Subject Classification ID: 54D30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6088863
@@ Property / zbMATH DE Number: 6088863 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Rasiowa-Sikorski lemma
@@ Property / zbMATH Keywords: Rasiowa-Sikorski lemma / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Baire category theorem
@@ Property / zbMATH Keywords: Baire category theorem / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Priestley topology
@@ Property / zbMATH Keywords: Priestley topology / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Heyting algebra
@@ Property / zbMATH Keywords: Heyting algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+prime filter
@@ Property / zbMATH Keywords: prime filter / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributive lattices
@@ Property / zbMATH Keywords: distributive lattices / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compactness
@@ Property / zbMATH Keywords: compactness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+spaces of subsets of a lattice
@@ Property / zbMATH Keywords: spaces of subsets of a lattice / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-012-9374-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2121392054
@@ Property / OpenAlex ID: W2121392054 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124879756
@@ Property / Wikidata QID: Q124879756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5570212
@@ Property / cites work: Q5570212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+The Stone Space of an Ortholattice
@@ Property / cites work: The Stone Space of an Ortholattice / rank @@
+Normal rank
@@ Property / cites work @@
+A logic stronger than intuitionism
@@ Property / cites work: A logic stronger than intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Prime Ideal Structure in Commutative Rings
@@ Property / cites work: Prime Ideal Structure in Commutative Rings / rank @@
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Algebraic Treatment of the Functional Calculi of Heyting and Lewis
+Normal rank
@@ Property / cites work @@
+A proof of the completeness theorem of Grödel
@@ Property / cites work: A proof of the completeness theorem of Grödel / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4067097
@@ Property / cites work: Q4067097 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on the Rasiowa-Sikorski lemma
@@ Property / cites work: Notes on the Rasiowa-Sikorski lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Topological representations of distributive lattices and Brouwerian logics
+Normal rank
@@ Property / DOI @@
+.1007/S11225-012-9374-2
@@ Property / DOI: 10.1007/S11225-012-9374-2 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:454394