David Asper'o

activity

20112026

most citedThe special Aronszajn tree property at

ℵ_{2}

and

GC H

2 citations · 5 across the 10 of their papers we have counts for

collaborators

Showing 2019 · math.LOShow all

3 papers · 2 filters

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

The $κ$ -Strongly Proper Forcing Axiom

David Asperó, Sean Cox, Asaf Karagila +1

We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $θ > κ$ to get the cons…

math.LO2019★ 1 cited

$MM^{++}$ implies $(*)$

David Asperó, Ralf Schindler

We show that Martin's Maximum $^{++}$ implies Woodin's $P_{max}$ axiom $(*)$ . This answers a question from the 1990's and amalgamates two prominent axioms of set the…

Methods in Higher Forcing Axioms (Workshop Notes)

The κ-Strongly Proper Forcing Axiom

MM++ implies (∗)

The $κ$ -Strongly Proper Forcing Axiom

$MM^{++}$ implies $(*)$