3 papers
math.LO2019
Methods in Higher Forcing Axioms (Workshop Notes)
David Asperó, Asaf Karagila
Methods of Higher Forcing Axioms was a small workshop in Norwich, taking place between 10--12 of September, 2019. The goal was to encourage future collaborations, and create more f…
math.LO2019
implies
David Asperó, Ralf Schindler
We show that Martin's Maximum implies Woodin's axiom . This answers a question from the 1990's and amalgamates two prominent axioms of set the…
math.LO2017
On large cardinals and generalized Baire spaces
David Asperó, Tapani Hyttinen, Vadim Kulikov +1
Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal .…