Forcing Axioms, the Uniformization and the Basis Property
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2020
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916793483788288 |
|---|---|
| author | Hoffelner, Stefan |
| author_facet | Hoffelner, Stefan |
| contents | We show that there are models of MA where the boldface $Σ^1_3$-uniformization property holds. Further we show that BPFA and the assertion $\aleph_1$ is accessible to reals outright implies that the boldface $Σ^1_3$-uniformization property is true. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2001_07977 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Forcing Axioms, the Uniformization and the Basis Property Hoffelner, Stefan Logic 03E15, 03E35, 03E45, 03E57 We show that there are models of MA where the boldface $Σ^1_3$-uniformization property holds. Further we show that BPFA and the assertion $\aleph_1$ is accessible to reals outright implies that the boldface $Σ^1_3$-uniformization property is true. |
| title | Forcing Axioms, the Uniformization and the Basis Property |
| topic | Logic 03E15, 03E35, 03E45, 03E57 |
| url | https://arxiv.org/abs/2001.07977 |