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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 06D20 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 06D05 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 54D30 / rank
 
Normal rank
Property / zbMATH DE Number
 
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

Revision as of 11:14, 30 June 2023

scientific article
Language Label Description Also known as
English
Topological proofs of some Rasiowa-Sikorski lemmas
scientific article

    Statements

    Topological proofs of some Rasiowa-Sikorski lemmas (English)
    0 references
    0 references
    1 October 2012
    0 references
    Rasiowa-Sikorski lemma
    0 references
    Baire category theorem
    0 references
    Priestley topology
    0 references
    Heyting algebra
    0 references
    prime filter
    0 references
    distributive lattices
    0 references
    compactness
    0 references
    spaces of subsets of a lattice
    0 references

    Identifiers