Forcing axioms for λ -complete μ + -C.C
Por Camilo Arcaya • 31 oct, 2013 • Sección: EducacionSaharon Shelah
Abstract: We note that some form of the condition “p_1, p_2 have a >_Q-lub in 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 P satisfying one condition but no P’ equivalent to P satisfying another. We have not looked systematically whether any such question (of interest) is open.
arXiv:1310.4042v1 [math.LO]