More on setwise climbability properties
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915836167454720 |
|---|---|
| author | König, Bernhard Yoshinobu, Yasuo |
| author_facet | König, Bernhard Yoshinobu, Yasuo |
| contents | We introduce two types of variations of setwise climbability properties, which have been introduced by the second author as fragments of Jensen's square principles. We show that variations of the first type are equivalent to known principles and that they are consistent with the Proper Forcing Axiom(PFA). On the other hand, those of the second type can be characterized as Martin-type axioms for some classes of posets defined in terms of a new variation of generalized Banach-Mazur games, and they are no longer consistent with PFA. We also study how large fragments of PFA are consistent with these principles. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_20236 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | More on setwise climbability properties König, Bernhard Yoshinobu, Yasuo Logic 03E57 (Primary) 03E35 (Secondary) We introduce two types of variations of setwise climbability properties, which have been introduced by the second author as fragments of Jensen's square principles. We show that variations of the first type are equivalent to known principles and that they are consistent with the Proper Forcing Axiom(PFA). On the other hand, those of the second type can be characterized as Martin-type axioms for some classes of posets defined in terms of a new variation of generalized Banach-Mazur games, and they are no longer consistent with PFA. We also study how large fragments of PFA are consistent with these principles. |
| title | More on setwise climbability properties |
| topic | Logic 03E57 (Primary) 03E35 (Secondary) |
| url | https://arxiv.org/abs/2503.20236 |