Compactness phenomena in HOD and the Optimality of Magidor's Covering theorem DW7FVA587C
| URI | m2://res/DW7FVA587C |
|---|---|
| Kind | preprint |
| Creators | Tom Benhamou, James Cummings, Yair Hayut, Gabriel Goldberg, Alejandro Poveda |
| Date | 2026-08-25 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-08-25 |
| Ids | arXiv 2608.24190 |
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 |
|---|---|---|---|
| Apter-Friedman-Fuchs | definition | definition 3.3 | arxiv |
| 1Q17PEQ7HA | statement | theorem 3.21 | arxiv |
| 1Z4WX15A8V | statement | lemma 4.6 | arxiv |
| 266NTYECGS | statement | lemma 4.16 | arxiv |
| 2C6EG1GV3J | definition | definition 3.1 | arxiv |
| 2K4VX3K55J | statement | corollary 4.11 | arxiv |
| 3D6AV75RFS | definition | definition 2.3 | arxiv |
| 4H2F57C4VG | statement | lemma 4.20 | arxiv |
| 51ZRMZ4418 | problem | problem 4.1 | arxiv |
| Hayut | problem | problem 3.6 | arxiv |
| 5G5SN72F3R | problem | problem 5.3 | arxiv |
| 5HVT3SRQ45 | statement | theorem 1.2 | arxiv |
| 6XKGDJ87JR | statement | fact 2.6 | arxiv |
| Local Magidor Covering | statement | proposition 4.3 | arxiv |
| 9EA8K0M7QY | statement | theorem 1.3 | arxiv |
| A4WXBK9CH8 | statement | proposition 3.5 | arxiv |
| Fuchs--Hamkins--Reitz | definition | definition 2.9 | arxiv |
| AWN6ZCNM5B | statement | proposition 4.2 | arxiv |
| B3YH52STRF | statement | proposition 3.2 | arxiv |
| BA2NF7PN00 | definition | definition 2.1 | arxiv |
| Homogeneity | statement | lemma 3.17 | arxiv |
| DCYBZP1RBD | statement | lemma 4.15 | arxiv |
| DK0H2R7JNV | statement | theorem 1.4 | arxiv |
| F74036X1K4 | statement | theorem 1.1 | arxiv |
| FHXAP72QSA | statement | lemma 3.18 | arxiv |
| G76JS5N3Q5 | definition | definition 2.2 | arxiv |
| GSA0RZXZNX | statement | proposition 3.12 | arxiv |
| GV07W9DPJ6 | definition | definition 3.11 | arxiv |
| GZPMNZDETR | statement | lemma 4.12 | arxiv |
| JHK4PAE86R | statement | fact 2.10 | arxiv |
| M84R88M2RV | problem | problem 5.1 | arxiv |
| MGVG5JBS2H | statement | lemma 4.17 | arxiv |
| McAloon | statement | fact 2.8 | arxiv |
| NHT82C3D8M | statement | lemma 4.10 | arxiv |
| Magidor | statement | theorem 2.12 | arxiv |
| NYWQ72B59A | definition | definition 4.9 | arxiv |
| P385JP9C4T | statement | theorem 3.19 | arxiv |
| P5Q8MNH474 | problem | problem 5.2 | arxiv |
| QAYHBYH5QE | definition | definition 3.10 | arxiv |
| QMM8WAF3XD | statement | proposition 3.4 | arxiv |
| QVR0MPC0SV | statement | lemma 3.16 | arxiv |
| R161HMF5RP | statement | theorem 1.6 | arxiv |
| Cover | definition | definition 2.11 | arxiv |
| RPVJBFHM0M | definition | definition 3.9 | arxiv |
| RRZ734T8XF | statement | theorem 4.7 | arxiv |
| S2DQY3HPZ2 | problem | problem 5.4 | arxiv |
| S4FT87MHPK | statement | proposition 2.4 | arxiv |
| TFZ2X2NGZ4 | statement | lemma 3.14 | arxiv |
| V1MA757K8H | statement | fact 2.7 | arxiv |
| VEA6J585JX | definition | definition 3.13 | arxiv |
| W2A2GX9P7V | statement | lemma 4.19 | arxiv |
| W4H1X3V5Y8 | statement | lemma 4.13 | arxiv |
| WGJ4E4VQ7J | statement | theorem 1.5 | arxiv |
| WN7AF1H1PA | statement | theorem 3.24 | arxiv |
| WQJD9RY4EQ | statement | lemma 3.15 | arxiv |
| Compactness of covering | statement | theorem 4.5 | arxiv |
| XZR6QNJ2WB | statement | lemma 4.18 | arxiv |
| Y3VK8CMXER | definition | definition 2.5 | arxiv |
| YF79HMS59W | statement | lemma 3.8 | arxiv |
| ZVKBPJA2Y2 | statement | theorem 3.7 | arxiv |
Catalogue records
- arxiv: 2608.24190 (work)
- arxiv_text: 2608.24190 (work)