The sobriety for locally compact dcpos 7MWKMG2V8A
| URI | m2://res/7MWKMG2V8A |
|---|---|
| Kind | preprint |
| Creators | Zhengmao He, Yujing Zhang |
| Date | 2026-10-13 |
| MSC | 54-XX |
| Subjects | arxiv math.GN |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-13 |
| Ids | arXiv 2610.17759 |
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 |
|---|---|---|---|
| 18ZNZT903H | statement | lemma 4.7 | arxiv |
| 311J5NF36S | statement | lemma 4.5 | arxiv |
| 37XJ7YRJKG | statement | lemma 4.10 | arxiv |
| C80TWBB87P | statement | lemma 4.2 | arxiv |
| DQH55S9QHR | statement | lemma 4.6 | arxiv |
| E44V1DPG0H | statement | lemma 4.12 | arxiv |
| EPXPCDVDQ5 | statement | lemma 4.1 | arxiv |
| JJA7VFA8QX | statement | lemma 4.3 | arxiv |
| NRC4J4TQVN | statement | lemma 4.8 | arxiv |
| PHZFDGG7G1 | statement | theorem 3.2 | arxiv |
| RS33YM9R58 | statement | theorem 4.13 | arxiv |
| T4XH7EC83S | statement | lemma 4.11 | arxiv |
| V7CH8QB5HM | statement | lemma 4.4 | arxiv |
| VTBME5TA9K | statement | lemma 3.1 | arxiv |
| XRVBETVNFB | statement | lemma 4.9 | arxiv |
Catalogue records
- arxiv: 2610.17759 (work)
- arxiv_text: 2610.17759 (work)