Measures in Nairian models, I 90QTB4CC31
| URI | m2://res/90QTB4CC31 |
|---|---|
| Kind | preprint |
| Creators | Gabriel Goldberg, Grigor Sargsyan |
| 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.19088 |
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 |
|---|---|---|---|
| 1E5S25DDC5 | statement | proposition 3.35 | arxiv |
| 1J7T6J7S6K | statement | proposition 3.13 | arxiv |
| 1VERS9EQSD | definition | definition 4.11 | arxiv |
| 1VYE39WBG4 | statement | lemma 4.10 | arxiv |
| 263PZ4XMYB | statement | lemma 4.12 | arxiv |
| 2876FX7GEB | statement | lemma 4.8 | arxiv |
| 2A69ZK9XKN | statement | lemma 3.10 | arxiv |
| ZFC | statement | lemma 3.29 | arxiv |
| Woodin | statement | theorem 2.6 | arxiv |
| 4AVYXEHJZW | statement | lemma 3.24 | arxiv |
| 4H8VM63KTZ | statement | proposition 3.34 | arxiv |
| 4SSXGRXE29 | statement | proposition 3.11 | arxiv |
| Spector | statement | theorem 4.3 | arxiv |
| 5C8Y9JTTBK | definition | definition 4.13 | arxiv |
| 5QV25PP2DX | statement | theorem 4.2 | arxiv |
| 7KM9630EBT | statement | proposition 3.18 | arxiv |
| 7WJ6BW88TC | statement | theorem 3.30 | arxiv |
| 8J38B3EAM8 | statement | theorem 2.9 | arxiv |
| 98A9KV7A8Z | definition | definition 4.5 | arxiv |
| 9NTRF37HPZ | statement | lemma 4.7 | arxiv |
| 9W6MQV1GET | statement | corollary 3.39 | arxiv |
| 9XRB1FWJFV | definition | definition 2.2 | arxiv |
| UA | statement | theorem 3.7 | arxiv |
| A22DFN3EVV | statement | corollary 3.32 | arxiv |
| B8EF9K6PHD | statement | proposition 3.12 | arxiv |
| BE4GDAG6JM | statement | theorem 3.23 | arxiv |
| Woodin | statement | theorem 4.1 | arxiv |
| BX57F1AV1C | definition | definition 3.1 | arxiv |
| CBB439VKK3 | definition | definition 3.8 | arxiv |
| CF049P3DQB | statement | corollary 3.15 | arxiv |
| DQB574B2FC | definition | definition 3.2 | arxiv |
| DS3SM79Y38 | definition | definition 3.16 | arxiv |
| DYJYPY2B19 | statement | theorem 2.8 | arxiv |
| EAFH8JWDNR | statement | proposition 2.3 | arxiv |
| EDEGKXJR26 | statement | theorem 4.6 | arxiv |
| Spector | statement | theorem 2.7 | arxiv |
| H0T42PR00S | statement | proposition 3.26 | arxiv |
| HDVP8QBGDW | statement | proposition 3.37 | arxiv |
| HTH7CCGYB0 | statement | theorem 3.27 | arxiv |
| J1YPEKNK7C | statement | corollary 3.40 | arxiv |
| KBERVTX4SQ | statement | lemma 3.5 | arxiv |
| M3TWW6G300 | statement | lemma 3.25 | arxiv |
| M67033XKN1 | statement | lemma 4.14 | arxiv |
| Woodin | statement | theorem 2.4 | arxiv |
| UA | definition | definition 3.3 | arxiv |
| MZSBFVP0VX | problem | problem 3.19 | arxiv |
| NTHA047CJB | statement | corollary 3.14 | arxiv |
| NV95GF5N76 | statement | lemma 3.9 | arxiv |
| P589H0XFSN | definition | definition 3.6 | arxiv |
| P7NHN5XFQ7 | statement | proposition 3.20 | arxiv |
| PANK9DCD23 | statement | corollary 3.17 | arxiv |
| Woodin | statement | theorem 2.5 | arxiv |
| QZ5K3P05Q5 | statement | theorem 4.15 | arxiv |
| SKFREXH6W9 | statement | theorem 3.33 | arxiv |
| SSJ8GAA6MS | conjecture | conjecture 3.36 | arxiv |
| VDWHYB0TEM | statement | theorem 4.4 | arxiv |
| VVS74S07CM | statement | theorem 3.22 | arxiv |
| WK8214CJ2E | definition | definition 2.1 | arxiv |
| WQ47Q5KN3B | statement | lemma 3.4 | arxiv |
| Adkisson--Ben-Neria | statement | theorem 3.38 | arxiv |
| XAZTPMAFSB | statement | proposition 3.21 | arxiv |
| XWZDXA01Q8 | statement | corollary 3.28 | arxiv |
| YGVKXNAY4Z | definition | definition 4.9 | arxiv |
| ZT4M4Z7J7P | statement | proposition 3.31 | arxiv |
Catalogue records
- arxiv: 2610.19088 (work)
- arxiv_text: 2610.19088 (work)