A countable metric space whose Hoare power space is not co-sober WXD0FASTA7
| URI | m2://res/WXD0FASTA7 |
|---|---|
| Kind | preprint |
| Creators | Xiaoquan Xu, Wei Ji |
| Date | 2026-10-05 |
| MSC | 54-XX |
| Subjects | arxiv math.GN |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-05 |
| Ids | arXiv 2610.05868, zbl_id 903198414 |
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 |
|---|---|---|---|
| 88PXRTSXF5 | statement | lemma 2.2 | arxiv |
| 9FQSKYK00B | statement | proposition 5.1 | arxiv |
| AQ6QZ6V3N8 | statement | theorem 3.3 | arxiv |
| Wen--Xu | statement | theorem 3.1 | arxiv |
| Wen--Xu | statement | lemma 2.3 | arxiv |
| C7JBPWNAAZ | statement | lemma 4.1 | arxiv |
| S01F2AY1DP | statement | lemma 2.1 | arxiv |
| T4GNQQQ2D0 | statement | theorem 5.2 | arxiv |
| XCBHAWGPFD | statement | corollary 4.2 | arxiv |
| YJDGWVWJJ3 | statement | theorem 4.3 | arxiv |
| ZTM1DXQF24 | statement | lemma 3.2 | arxiv |
Catalogue records
- arxiv: 2610.05868 (work)
- arxiv_text: 2610.05868 (work)
- zbmath_search: 903198414 (work)