{"id":"arxiv/2609.18032","url":"https://arxiv.org/abs/2609.18032","tags":["math.LO"],"score":0,"title":"Scott topologies on products of countable complete Heyting algebras","domain":"math.LO","source":"arxiv","authors":["Xiaoquan Xu"],"reviews":0,"subject":"math.LO","summary":"We prove that the Scott topology commutes with arbitrary products of countably presented frames and that every such product has a sober Scott space. In particular, this holds for arbitrary products of countable complete Heyting algebras. For a family of consonant spaces, Scott-product compatibility of their open-set lattices is equivalent to consonance of their topological sum. Countable generation does not suffice: a countably generated spatial frame can have a non-sober Scott space and fail the product identity for its square. We also show that the cardinal spectra of Scott non-sober…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-16","reactions":{}}