Martin’s Maximum++ implies Woodin’s axiom(*) M M+ + implica ( ∗ )

Por • 26 jul, 2021 • Sección: Leyes

David Asperó and Ralf Schindler

Mostramos que Martin’s Maximum+ + implica Woodin PAGm a x axioma ( ∗ ). Esto responde a una pregunta de la década de 1990 y amalgama dos axiomas prominentes de la teoría de conjuntos que se sabía que implicaban que existen ℵ2 muchos números reales.

 arXiv:1906.10213v2 [math.LO]

Post to Twitter

Escribe un comentario