Sh:1036

• Shelah, S. Forcing axioms for \lambda-complete \mu ^+-c.c. arXiv: 1310.4042
• Abstract:
  We note that some form of the condition "p_1, p_2 have a \leq_{\mathbb{Q}}-lub in \mathbb{Q}" is necessary in some forcing axiom for \lambda-complete \mu^+-c.c. forcing notions. We also show some versions are really stronger than others, a strong way to answer Alexie’s question of having \mathbb{P} satisfying one condition but no \mathbb{P}' equivalent to \mathbb{P} satisfying another. We have not looked systematically whether any such question (of interest) is open. [Ask Ashutosh to read in Aug 2014]; B. check counterexmple in [SHSt:154, page 235], and one in Ap §2 or 3 of [SH:f]; check the paper with Otmar- have another variant
• Current version: 2019-09-09_10 (21p)

@article{Sh:1036,
 author = {Shelah, Saharon},
 title = {{Forcing axioms for $ \lambda $-complete $\mu ^+ $-c.c.}},
 note = {\href{https://arxiv.org/abs/1310.4042}{arXiv: 1310.4042}},
 arxiv_number = {1310.4042}
}