What David Teaches Goliath: An Inevitable Extension of ZFC 28BAGZRCKG
| URI | m2://res/28BAGZRCKG |
|---|---|
| Kind | preprint |
| Creators | Ali Enayat |
| Date | 2026-10-13 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-13 |
| Ids | arXiv 2610.19283 |
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 |
|---|---|---|---|
| 2Q8PDYFVWN | statement | theorem 6.2 | arxiv |
| 3MWT4T1Y3B | statement | corollary 5.2 | arxiv |
| Levy | statement | theorem 2.2 | arxiv |
| 8PMFCA79CH | statement | corollary 6.4 | arxiv |
| 9ZCHDRNEYY | statement | theorem 4.6 | arxiv |
| A1J3BWGG6M | statement | theorem 4.7 | arxiv |
| BF1SFQV6XK | statement | theorem 7.2 | arxiv |
| BYVNB6G92P | statement | theorem 6.3 | arxiv |
| CCH131G9YA | definition | definition 6.1 | arxiv |
| Montague--Levy | statement | theorem 2.1 | arxiv |
| Relative constructibility robustness | statement | theorem 3.3 | arxiv |
| GEAF7APW53 | statement | corollary 3.5 | arxiv |
| GQHHXNPRY2 | statement | theorem 4.3 | arxiv |
| KK5PA2RDJD | statement | theorem 5.1 | arxiv |
| KPAZYDEYCM | statement | theorem 4.5 | arxiv |
| PTD9S0CZK5 | statement | theorem 4.10 | arxiv |
| SS00A55HX5 | statement | theorem 7.1 | arxiv |
| Keisler--Morley | statement | theorem 4.2 | arxiv |
| VC54XFWJ8A | statement | theorem 4.8 | arxiv |
| VMG09JCY7C | statement | theorem 3.2 | arxiv |
| VWQ5KZT6Q9 | statement | theorem 4.9 | arxiv |
| Set-forcing preservation | statement | theorem 3.4 | arxiv |
| Levy | statement | theorem 3.1 | arxiv |
| XFV6TEF12K | statement | theorem 4.4 | arxiv |
| Y9ZV8NQH3N | statement | theorem 4.1 | arxiv |
Catalogue records
- arxiv: 2610.19283 (work)
- arxiv_text: 2610.19283 (work)