Publication:4389696
From MaRDI portal
zbMath0890.06007MaRDI QIDQ4389696
Publication date: 18 May 1998
Full work available at URL: https://eudml.org/doc/34444
approximation; Stone duality; category of frames; abstract base; LFS-domain; LFS-frame; LFS-preframe; stable prelocale; superalgebraic frame; supercontinuous frame
06D20: Heyting algebras (lattice-theoretic aspects)
Cites Work