The Largest Suslin Axiom
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910806286794752 |
|---|---|
| author | Sargsyan, Grigor Trang, Nam |
| author_facet | Sargsyan, Grigor Trang, Nam |
| contents | We develop the basic fine structure theory of the minimal model of the Largest Suslin Axiom. In particular, we prove that that the minimal model of the Largest Suslin Axiom satisfies the Mouse Set Conjecture, and that the Proper Forcing Axiom implies the minimal model of the Largest Suslin Axiom exists. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2112_04396 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | The Largest Suslin Axiom Sargsyan, Grigor Trang, Nam Logic We develop the basic fine structure theory of the minimal model of the Largest Suslin Axiom. In particular, we prove that that the minimal model of the Largest Suslin Axiom satisfies the Mouse Set Conjecture, and that the Proper Forcing Axiom implies the minimal model of the Largest Suslin Axiom exists. |
| title | The Largest Suslin Axiom |
| topic | Logic |
| url | https://arxiv.org/abs/2112.04396 |