Scott products and sobriety of countable meet-continuous dcpos VMWV58VWKN
| URI | m2://res/VMWV58VWKN |
|---|---|
| Kind | preprint |
| Creators | Xiaoquan Xu, Wei Ji |
| Date | 2026-10-02 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-02 |
| Ids | arXiv 2610.02642, zbl_id 903195188 |
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 |
|---|---|---|---|
| 1YBSWEQA9Z | statement | lemma 3.8 | arxiv |
| 34FNT2DMW5 | statement | corollary 4.10 | arxiv |
| 5F2E4SJGY2 | statement | lemma 3.2 | arxiv |
| 5KWW7RHH4C | statement | lemma 4.8 | arxiv |
| 7T60MKMSWN | statement | theorem 3.6 | arxiv |
| 8BCHMMWNYM | statement | proposition 3.3 | arxiv |
| The $L$-dcpo case of Jia's question | statement | corollary 5.4 | arxiv |
| 8ZM5BBK55C | statement | theorem 4.1 | arxiv |
| 9CEWS35DW4 | statement | corollary 3.7 | arxiv |
| AG2H6VV43Z | statement | lemma 4.6 | arxiv |
| BGZGSBVCAP | statement | lemma 4.4 | arxiv |
| E68NESVMQA | statement | lemma 4.3 | arxiv |
| FT6MQ5EMG3 | statement | theorem 5.2 | arxiv |
| Function-space version | statement | corollary 5.5 | arxiv |
| JF0KFF6VF7 | statement | theorem 3.10 | arxiv |
| K7EYK8ECY4 | statement | lemma 4.5 | arxiv |
| KE2PMZBMNM | statement | corollary 5.3 | arxiv |
| MBQFP8HJQN | statement | theorem 3.5 | arxiv |
| MN9YB5RTWK | statement | lemma 4.2 | arxiv |
| NG8RKEXWKA | statement | lemma 3.9 | arxiv |
| T64T0S88FM | statement | proposition 5.6 | arxiv |
| TH8N6JXW1Y | statement | proposition 4.9 | arxiv |
| VXEYMCMHJY | statement | lemma 5.1 | arxiv |
| Rudin characterization | statement | lemma 2.1 | arxiv |
| X30921NVZF | statement | lemma 3.4 | arxiv |
| X3QJYXKDJE | statement | lemma 3.1 | arxiv |
Catalogue records
- arxiv: 2610.02642 (work)
- arxiv_text: 2610.02642 (work)
- zbmath_search: 903195188 (work)