Uniformization of ladder system colorings and stationary precaliber forcings
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866911243992825856 |
|---|---|
| author | Aoki, Yushiro |
| author_facet | Aoki, Yushiro |
| contents | We investigate the relationship between variants of the uniformization property for ladder system colorings and fragments of Martin's Axiom. The well-known forcing properties of having precaliber $\aleph_1$ and being $σ$-centered correspond to uncountable refinement and countable decomposition into centered subsets, respectively, and the associated forcing axioms have been widely studied. In this paper, we focus on a forcing axiom for the property corresponding to stationary refinement, namely the stationary precaliber $\aleph_1$ property. Analogously, we observe that ladder system coloring uniformization also admits both stationary refinement and countable decomposition variants. We discuss the interaction between these uniformization properties and various forcing axioms. Through this analysis, we obtain as a main result the separation between the forcing axioms for stationary precaliber $\aleph_1$ and for $σ$-linked posets. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_18900 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Uniformization of ladder system colorings and stationary precaliber forcings Aoki, Yushiro Logic 03E50 We investigate the relationship between variants of the uniformization property for ladder system colorings and fragments of Martin's Axiom. The well-known forcing properties of having precaliber $\aleph_1$ and being $σ$-centered correspond to uncountable refinement and countable decomposition into centered subsets, respectively, and the associated forcing axioms have been widely studied. In this paper, we focus on a forcing axiom for the property corresponding to stationary refinement, namely the stationary precaliber $\aleph_1$ property. Analogously, we observe that ladder system coloring uniformization also admits both stationary refinement and countable decomposition variants. We discuss the interaction between these uniformization properties and various forcing axioms. Through this analysis, we obtain as a main result the separation between the forcing axioms for stationary precaliber $\aleph_1$ and for $σ$-linked posets. |
| title | Uniformization of ladder system colorings and stationary precaliber forcings |
| topic | Logic 03E50 |
| url | https://arxiv.org/abs/2508.18900 |