Generic Generators
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _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 |