Strongly algebraic = SFP (topically)
From MaRDI portal
Publication:4534181
DOI10.1017/S0960129501003437zbMath1013.68282MaRDI QIDQ4534181
Publication date: 7 August 2002
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items (3)
Continuity and geometric logic ⋮ Presenting locale pullback via directed complete posets ⋮ The connected Vietoris powerlocale
This page was built for publication: Strongly algebraic = SFP (topically)