Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2307.00109 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |