2 citations · 5 across the 10 of their papers we have counts for
10 papers
Long Strong Chains of Subsets of
David Asperó, Curial Gallart
We force the existence of a chain of length in increasing modulo finite. The construction involves symmetric systems of models of two types as side conditions,…
The proper forcing axiom for -sized posets, -linked symmetrically proper forcing, and the size of the continuum
David Asperó, Mohammad Golshani
We show that the Proper Forcing Axiom for forcing notions of size is consistent with the continuum being arbitrarily large. In fact, assuming holds and …
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…
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…
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…
The special Aronszajn tree property at and
David Asperó, Mohammad Golshani
Starting from the existence of a weakly compact cardinal, we build a generic extension of the universe in which holds and all -Aronszajn trees are special and hence…
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 .…
Measuring club-sequences with a large continuum
David Asperó, Miguel Angel Mota
One of the most frustrating problems faced by set theorists working with iterated proper forcing is the lack of techniques for producing models in which the continuum has size grea…
Forcing consequences of PFA together with the continuum large
David Asperó, Miguel Angel Mota
We develop a new method for building forcing iterations with symmetric systems of structures as side conditions. Using our method we prove that the forcing axiom for the class of a…
Measuring club sequences, together with the Continuum Hypothesis
David Asperó, Miguel Angel Mota
We answer a question of Moore by building a forcing extension satisfying measuring together with CH. The construction works over any model of ZFC and can be described as a forcing…