{"id":"arxiv/2609.21274","url":"https://arxiv.org/abs/2609.21274","tags":["math.LO"],"score":0,"title":"Scott topologies on meet-continuous domains","domain":"math.LO","source":"arxiv","authors":["Xiaoquan Xu"],"reviews":0,"subject":"math.LO","summary":"We study Scott products and sobriety of countable meet-continuous domains, meaning meet-continuous dcpos without any additional continuity or least-element assumption. Using the complete-lattice test-family theorem of Xu and Ji, we prove finite-product equality for those domains that are $L$-dcpos, and for the weaker class whose principal ideals have suprema of all nonempty subsets. For an arbitrary family of nonempty countable meet-continuous $L$-dcpos, we prove that the Scott topology on the order product equals the product of the factor Scott topologies if and only if only finitely many…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-18","reactions":{}}