Forcing Axioms for Proper Posets Preserving a Topological Property: Consistency Results
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_ | 1866910813485268992 |
|---|---|
| author | Gilton, Thomas |
| author_facet | Gilton, Thomas |
| contents | Forcing axioms are generalizations of Baire category principles that allow one to intersect more dense open sets and to do so in a wider variety of circumstances. In this paper we introduce two new forcing axioms related to posets which preserve topological properties of various spaces, specifically the properties of Lindel{ö}f and countably tight. The focus in this paper is on using Neeman's side conditions iteration schema to prove the consistency of these two forcing axioms. In later work, we will discuss applications of these forcing axioms. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_18710 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Forcing Axioms for Proper Posets Preserving a Topological Property: Consistency Results Gilton, Thomas Logic Forcing axioms are generalizations of Baire category principles that allow one to intersect more dense open sets and to do so in a wider variety of circumstances. In this paper we introduce two new forcing axioms related to posets which preserve topological properties of various spaces, specifically the properties of Lindel{ö}f and countably tight. The focus in this paper is on using Neeman's side conditions iteration schema to prove the consistency of these two forcing axioms. In later work, we will discuss applications of these forcing axioms. |
| title | Forcing Axioms for Proper Posets Preserving a Topological Property: Consistency Results |
| topic | Logic |
| url | https://arxiv.org/abs/2501.18710 |