The properties of \(\models\)-filters of a topological system

DOI10.1007/s00500-019-04257-zzbMath1451.06003MaRDI QIDQ780198

D. Kharzeev

Publication date: 15 July 2020

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-019-04257-z

zbMATH Keywords

lower separation axioms; completely distributive lattice; BL-algebra; topological system; (co)frame; lattice filter

Mathematics Subject Classification ID

03G25: Other algebras related to logic

06D22: Frames, locales

06B10: Lattice ideals, congruence relations

54D10: Lower separation axioms ((T_0)--(T_3), etc.)

06B30: Topological lattices

18F70: Frames and locales, pointfree topology, Stone duality