\(\mathrm{wb}\)-sober spaces and the core-coherence of \(\mathrm{dcpo}\) models
From MaRDI portal
Publication:6635154
DOI10.1017/s0960129524000306MaRDI QIDQ6635154
Publication date: 9 November 2024
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Scott topologyposet modelcore-compact spaceopen well-filtered space\(\mathrm{wb}\)-sober spacecore-coherence
This page was built for publication: \(\mathrm{wb}\)-sober spaces and the core-coherence of \(\mathrm{dcpo}\) models