Forcing axioms for $\lambda$-complete $\mu^+$-C.C

Saharon Shelah

Forcing axioms for $\lambda$-complete $\mu^+$-C.C

Logic 2020-07-30 v2

Authors: Saharon Shelah

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.

Keywords

set theory forcing mathematical logic

Cite

@article{arxiv.1310.4042,
  title  = {Forcing axioms for $\lambda$-complete $\mu^+$-C.C},
  author = {Saharon Shelah},
  journal= {arXiv preprint arXiv:1310.4042},
  year   = {2020}
}

Comments

revised version (after referee's comments)

Related papers

View all related →