Scott topologies on products of countable complete Heyting algebras
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.18032
curl -X POST /api/v1/records/arxiv/2609.18032/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.18032/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'