Squares, ultrafilters and forcing axioms
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909085207625728 |
|---|---|
| author | Lambie-Hanson, Chris Rinot, Assaf Zhang, Jing |
| author_facet | Lambie-Hanson, Chris Rinot, Assaf Zhang, Jing |
| contents | We study relationships between various set theoretic compactness principles, focusing on the interplay between the three families of combinatorial objects or principles mentioned in the title. Specifically, we show the following. (1) Strong forcing axioms, in general incompatible with the existence of indexed squares, can be made compatible with weaker versions of indexed squares. (2) Indexed squares and indecomposable ultrafilters with suitable parameters can coexist. As a consequence, the amount of stationary reflection known to be implied by the existence of a uniform indecomposable ultrafilter is optimal. (3) The Proper Forcing Axiom implies that any cardinal carrying a uniform indecomposable ultrafilter is either measurable or a supremum of countably many measurable cardinals. Leveraging insights from the preceding sections, we demonstrate that the conclusion cannot be improved. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_15693 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Squares, ultrafilters and forcing axioms Lambie-Hanson, Chris Rinot, Assaf Zhang, Jing Logic We study relationships between various set theoretic compactness principles, focusing on the interplay between the three families of combinatorial objects or principles mentioned in the title. Specifically, we show the following. (1) Strong forcing axioms, in general incompatible with the existence of indexed squares, can be made compatible with weaker versions of indexed squares. (2) Indexed squares and indecomposable ultrafilters with suitable parameters can coexist. As a consequence, the amount of stationary reflection known to be implied by the existence of a uniform indecomposable ultrafilter is optimal. (3) The Proper Forcing Axiom implies that any cardinal carrying a uniform indecomposable ultrafilter is either measurable or a supremum of countably many measurable cardinals. Leveraging insights from the preceding sections, we demonstrate that the conclusion cannot be improved. |
| title | Squares, ultrafilters and forcing axioms |
| topic | Logic |
| url | https://arxiv.org/abs/2401.15693 |