Applications of the Magidor Iteration to Ultrafilter Theory
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_ | 1866918459781152768 |
|---|---|
| author | Benhamou, Tom Goldberg, Gabriel |
| author_facet | Benhamou, Tom Goldberg, Gabriel |
| contents | We characterize sums of normal ultrafilters after the Magidor iteration (product) of Prikry forcings over a discrete set of measurable cardinals. We apply this to show that the weak Ultrapower Axiom is not equivalent to the Ultrapower Axiom. We also construct a non-rigid ultrapower and two uniform ultrafilters on different cardinals that have the same ultrapower. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_09683 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Applications of the Magidor Iteration to Ultrafilter Theory Benhamou, Tom Goldberg, Gabriel Logic We characterize sums of normal ultrafilters after the Magidor iteration (product) of Prikry forcings over a discrete set of measurable cardinals. We apply this to show that the weak Ultrapower Axiom is not equivalent to the Ultrapower Axiom. We also construct a non-rigid ultrapower and two uniform ultrafilters on different cardinals that have the same ultrapower. |
| title | Applications of the Magidor Iteration to Ultrafilter Theory |
| topic | Logic |
| url | https://arxiv.org/abs/2412.09683 |