The effects of forcing on exacting and ultraexacting cardinals HVY45JQRNK
| URI | m2://res/HVY45JQRNK |
|---|---|
| Kind | preprint |
| Creators | Philipp Lücke, Alejandro Poveda |
| Date | 2026-09-26 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-26 |
| Ids | arXiv 2609.32338 |
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 |
|---|---|---|---|
| 11TBVFWFDN | statement | proposition 2.25 | arxiv |
| 1AJREWQPPD | statement | lemma 2.30 | arxiv |
| 1DMV0XTF36 | statement | theorem 2.22 | arxiv |
| 1NPHFZAJWF | statement | theorem 6.7 | arxiv |
| 211F3V7C63 | statement | lemma 2.7 | arxiv |
| 2M350A2KC4 | statement | theorem 6.5 | arxiv |
| 2XMCFQ9EWW | statement | corollary 6.4 | arxiv |
| 3989X4231G | definition | definition 1.2 | arxiv |
| 3G94RMFZHF | statement | corollary 2.20 | arxiv |
| 3Z8FY1JBWN | statement | theorem 1.5 | arxiv |
| 3ZGZ8F76RQ | problem | problem 6 | arxiv |
| 40X8EDEGJV | problem | problem 8 | arxiv |
| 456Z3AJ4EK | statement | theorem 1.8 | arxiv |
| 4FZAMNQHAE | statement | corollary 5.2 | arxiv |
| 5JRPNN5XQ7 | statement | proposition 2.17 | arxiv |
| 619NPQRGRP | statement | corollary 6.3 | arxiv |
| 71CC9Z35ZJ | statement | theorem 1.7 | arxiv |
| 7PHKD0BDM0 | statement | corollary 5.1 | arxiv |
| 7X07BW7R94 | statement | theorem 6.6 | arxiv |
| The $\HOD$ Dichotomy, Woodin | statement | theorem 2.1 | arxiv |
| 8ASHR8XEMQ | statement | lemma 2.8 | arxiv |
| A80EVEB4ZR | definition | definition 2.23 | arxiv |
| ASB3G3WV7M | problem | problem 1 | arxiv |
| AWVQWZVJRG | statement | lemma 3.2 | arxiv |
| $\mathrm{ZF}^2$ | statement | corollary 4.2 | arxiv |
| BKMNVNYNZW | definition | definition 1.1 | arxiv |
| C1WMXBQPRY | statement | theorem 2.9 | arxiv |
| C79E0P1RZJ | definition | definition 2.14 | arxiv |
| DH5D0627K6 | statement | theorem 6.2 | arxiv |
| ZF | statement | lemma 4.1 | arxiv |
| EPA2J0GJW7 | statement | lemma 4.3 | arxiv |
| F36S8EX5X1 | definition | definition 2.26 | arxiv |
| GW8W5Z9KDF | definition | definition 2.12 | arxiv |
| GY52H3K2Y9 | statement | theorem 1.6 | arxiv |
| HBE5Z2596H | statement | lemma 2.32 | arxiv |
| HKE0JEWX5V | definition | definition 2.29 | arxiv |
| K2330ENGBF | problem | problem 3 | arxiv |
| KABCH6T0CQ | problem | problem 2 | arxiv |
| KDA9V3CTCB | statement | proposition 2.18 | arxiv |
| KT1JHY5SH4 | statement | proposition 6.1 | arxiv |
| KV8DFMF5XH | statement | proposition 6.8 | arxiv |
| KZF5ETD72W | statement | corollary 2.31 | arxiv |
| MEGZ9FEQQ6 | statement | proposition 2.16 | arxiv |
| Woodin | definition | definition 2.3 | arxiv |
| MQMVA2KTF7 | statement | corollary 2.21 | arxiv |
| MZERPY9JT0 | problem | problem 5 | arxiv |
| NH5HXF303K | definition | definition 2.27 | arxiv |
| P09GRXGZPP | statement | lemma 3.1 | arxiv |
| P3HRD6TWRK | statement | theorem 1.3 | arxiv |
| PS5AAMD4SD | definition | definition 2.24 | arxiv |
| PWVDNTR4V2 | statement | lemma 2.28 | arxiv |
| R0RP899QQQ | statement | proposition 2.5 | arxiv |
| RA8PNS1WD3 | statement | lemma 2.6 | arxiv |
| RDAX8SMZ4R | statement | theorem 2.4 | arxiv |
| S200ER8AB7 | statement | theorem 1.9 | arxiv |
| S7PGKCBNWJ | statement | theorem 2.19 | arxiv |
| SBNC7N5GK7 | definition | definition 2.13 | arxiv |
| SW7357M1RM | statement | lemma 2.11 | arxiv |
| T0GMYJ8HTH | definition | definition 2.15 | arxiv |
| T0JCY2D76E | statement | theorem 4.4 | arxiv |
| TN8DH2B8A2 | problem | problem 7 | arxiv |
| The HOD Hypothesis, Woodin | definition | definition 2.2 | arxiv |
| W72EM407XZ | problem | problem 4 | arxiv |
| Y1XCA009GX | statement | theorem 1.4 | arxiv |
| ZHH2KV6PZ8 | statement | theorem 2.10 | arxiv |
| ZTYCSMT3Z0 | problem | problem 9 | arxiv |
Catalogue records
- arxiv: 2609.32338 (work)
- arxiv_text: 2609.32338 (work)