A continuous $3$-distributive frame that is not $ω$-distributive
We give a negative answer to the question, posed by Erné, whether every $3$-distributive lattice is $ω$-distributive. More precisely, we exhibit a continuous frame that is $κ$-distributive for every integer $κ\geq 2$, but is not a wide coframe. The frame is the open-set lattice of a compact, locally compact, countably based $T_0$ topological meet-semilattice, obtained from Lawson's construction in the logarithmic form described by Goubault-Larrecq. The failure of $ω$-distributivity is witnessed by an explicit matrix with countably many nonempty finite rows: all row joins are the same nonzero…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.11671
curl -X POST /api/v1/records/arxiv/2609.11671/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.11671/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'