English

More on setwise climbability properties

Logic 2026-03-06 v2

Abstract

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.

Keywords

Cite

@article{arxiv.2503.20236,
  title  = {More on setwise climbability properties},
  author = {Bernhard König and Yasuo Yoshinobu},
  journal= {arXiv preprint arXiv:2503.20236},
  year   = {2026}
}

Comments

29 pages, 1 figure

R2 v1 2026-06-28T22:34:42.431Z