Set-theoretic absoluteness for analysts and separable \cstar-algebras without Choice GAAZD3SGPN
| URI | m2://res/GAAZD3SGPN |
|---|---|
| Kind | preprint |
| Creators | Bruce Blackadar, Ilijas Farah |
| Date | 2026-02-17 |
| MSC | 46-XX, 47-XX, 03-XX |
| Subjects | arxiv math.OA, arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-02-17 |
| Ids | arXiv 2602.15812 |
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 |
|---|---|---|---|
| 1979FZCKGN | statement | theorem | arxiv |
| 1DQRSDFCF2 | definition | definition | arxiv |
| 2EKFT5BB3Q | statement | lemma | arxiv |
| 2MNXAPB8KH | statement | lemma | arxiv |
| 4EHMDZGDM3 | definition | definition | arxiv |
| 4GXVSZYKSX | statement | lemma | arxiv |
| 7J21Y2Q7RN | definition | definition | arxiv |
| 96JEXWEW30 | statement | theorem | arxiv |
| 9J3ZRG1P3R | statement | lemma | arxiv |
| 9SMDYP2CMK | statement | lemma | arxiv |
| BJ0Q0J0Y57 | statement | theorem | arxiv |
| BSPFFJK1A9 | statement | proposition | arxiv |
| C19HXGMG4R | statement | corollary | arxiv |
| C6NCK11SMZ | statement | lemma | arxiv |
| FMKA1SEM74 | proof | proof | arxiv |
| GR47WCT80P | statement | corollary | arxiv |
| M0AYX95NBC | statement | proposition | arxiv |
| M77B5SAAHK | statement | lemma | arxiv |
| MK0KYC6HN0 | statement | proposition | arxiv |
| NC1FHCRP9G | statement | proposition | arxiv |
| NXYB6GZ2FN | statement | proposition | arxiv |
| PRJKC4KVH2 | definition | definition | arxiv |
| QCN8BAVCHC | statement | theorem | arxiv |
| QEWDV4RF8J | statement | theorem | arxiv |
| QQVRTJXDJQ | statement | theorem | arxiv |
| QZR2YXWPGN | statement | theorem | arxiv |
| R7AA39NYSZ | statement | corollary | arxiv |
| RBW6F9XRZC | statement | proposition | arxiv |
| RTKEWV2XH8 | statement | proposition | arxiv |
| SJDSFWESKJ | statement | proposition | arxiv |
| THXQ696FEW | statement | proposition | arxiv |
| TQ00RB0B8X | statement | proposition | arxiv |
| TT87S612W4 | statement | theorem | arxiv |
| V211CYD5N4 | statement | theorem | arxiv |
| VS6HCBV32J | statement | proposition | arxiv |
| X4F5XBPB7J | statement | proposition | arxiv |
| XC3GE79A6R | statement | theorem | arxiv |
| XHN41RDBEA | statement | proposition | arxiv |
| YBNTG3HEY1 | statement | theorem | arxiv |
| YN0AEZ029N | statement | theorem | arxiv |
| Z67GCB6EE4 | statement | proposition | arxiv |
| ZB95M4JSBY | statement | theorem | arxiv |
| ZY37TJCS4P | statement | corollary | arxiv |
Catalogue records
- arxiv: 2602.15812 (work)
- arxiv_text: 2602.15812 (work)