Upwards homogeneity in iterated symmetric extensions
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915554211659776 |
|---|---|
| author | Ryan-Smith, Calliope Schilhan, Jonathan Wei, Yujun |
| author_facet | Ryan-Smith, Calliope Schilhan, Jonathan Wei, Yujun |
| contents | It is sometimes desirable in choiceless constructions of set theory that one iteratively extends some ground model without adding new sets of ordinals after the first extension. Pushing this further, one may wish to have models $V \subseteq M \subseteq N$ of $\mathsf{ZF}$ such that $N$ contains no subsets of $V$ that do not already appear in $M$. We isolate, in the case that $M$ and $N$ are symmetric extensions (particular inner models of a generic extension of $V$), the exact conditions that cause this behaviour and show how it can broadly be applied to many known constructions. We call this behaviour upwards homogeneity. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_08639 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Upwards homogeneity in iterated symmetric extensions Ryan-Smith, Calliope Schilhan, Jonathan Wei, Yujun Logic 03E25 (Primary) 03E35, 03E40 (Secondary) It is sometimes desirable in choiceless constructions of set theory that one iteratively extends some ground model without adding new sets of ordinals after the first extension. Pushing this further, one may wish to have models $V \subseteq M \subseteq N$ of $\mathsf{ZF}$ such that $N$ contains no subsets of $V$ that do not already appear in $M$. We isolate, in the case that $M$ and $N$ are symmetric extensions (particular inner models of a generic extension of $V$), the exact conditions that cause this behaviour and show how it can broadly be applied to many known constructions. We call this behaviour upwards homogeneity. |
| title | Upwards homogeneity in iterated symmetric extensions |
| topic | Logic 03E25 (Primary) 03E35, 03E40 (Secondary) |
| url | https://arxiv.org/abs/2405.08639 |