Countable quasicontinuous domains are quasialgebraic
arXiv:2510.26522
Abstract
We prove that every quasicontinuous domain that fails to be quasialgebraic admits the unit interval [0, 1] as its monotone Lawson-continuous image. As a result, every countable quasicontinuous domain is quasialgebraic.
6 papges, 0 figure