Forcing axioms for λ -complete μ + -C.C

Por • 31 oct, 2013 • Sección: Educacion

Saharon 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]

Post to Twitter

Etiquetado con: , ,

Escribe un comentario