The product of two Scott sober complete lattices is not always Scott sober FVK0J9CFEF
| URI | m2://res/FVK0J9CFEF |
|---|---|
| Kind | preprint |
| Creators | Zhengmao He |
| Date | 2026-09-30 |
| MSC | 54-XX |
| Subjects | arxiv math.GN |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-30 |
| Ids | arXiv 2609.39246 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 471A0NX7RX | statement | lemma 4.6 | arxiv |
| 6KC2F828GM | statement | lemma 4.4 | arxiv |
| 9768YC5NJ6 | statement | lemma 4.10 | arxiv |
| AE7GA80ER5 | statement | theorem 4.9 | arxiv |
| BF1N79YQ6D | statement | theorem 4.11 | arxiv |
| D80ZP5EQ1R | statement | lemma 4.5 | arxiv |
| G45D0ZT4WK | statement | lemma 4.3 | arxiv |
| KNRDXHXCJE | statement | lemma 4.7 | arxiv |
| QTQYDV9WK0 | statement | lemma 4.2 | arxiv |
| RKNYPJNTQ0 | statement | lemma 4.8 | arxiv |
| SXPERSH4X9 | statement | theorem 4.13 | arxiv |
| VZH7P5BGEC | statement | lemma 4.12 | arxiv |
| X84YQEE0GX | statement | lemma 4.1 | arxiv |
Catalogue records
- arxiv: 2609.39246 (work)
- arxiv_text: 2609.39246 (work)