Open Research Index

Every countable meet-continuous lattice is Scott sober

Xiaoquan Xu, Wei Ji

arXivarxiv/2609.19612Sep 17, 2026math.LOscore 0

We prove that every countable meet-continuous lattice is Scott sober. For any family of such lattices, the Scott topology on the product equals the product of the factor Scott topologies, and the product Scott space is sober. These results answer affirmatively Questions 7.1 and 7.2 of Xu (arXiv:2609.18032v1), extending the countable-frame results beyond finite distributivity. A diagonal argument on meet coordinates extracts directed punctured intervals from nonprincipal ideals. Join translates of these intervals form a countable family detecting Scott openness and yield Scott open rectangles…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2609.19612
curl -X POST /api/v1/records/arxiv/2609.19612/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.19612/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'