\(\mathrm{wb}\)-sober spaces and the core-coherence of \(\mathrm{dcpo}\) models

DOI10.1017/s0960129524000306MaRDI QIDQ6635154

Xin-Chao Zhao, Chong Shen

Publication date: 9 November 2024

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Scott topologyposet modelcore-compact spaceopen well-filtered space\(\mathrm{wb}\)-sober spacecore-coherence

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: \(\mathrm{wb}\)-sober spaces and the core-coherence of \(\mathrm{dcpo}\) models