Generic Generators
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909531991179264 |
|---|---|
| author | Sargsyan, Grigor |
| author_facet | Sargsyan, Grigor |
| contents | The goal of this paper is to present an approach to Hod Pair Capturing (HPC). $HPC$ is the most outstanding open problem of descriptive inner model theory. More specifically, we introduce two principles, the Direct Limit Independence and the Bounded Direct Limits, and show that they together imply HPC. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2307_00109 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Generic Generators Sargsyan, Grigor Logic The goal of this paper is to present an approach to Hod Pair Capturing (HPC). $HPC$ is the most outstanding open problem of descriptive inner model theory. More specifically, we introduce two principles, the Direct Limit Independence and the Bounded Direct Limits, and show that they together imply HPC. |
| title | Generic Generators |
| topic | Logic |
| url | https://arxiv.org/abs/2307.00109 |