activity
20112022
most citedDependent Choice, Properness, and Generic Absoluteness

7 citations · 12 across the 7 of their papers we have counts for

collaborators

8 papers

math.LO2022

Generalizations of Martin's Axiom, weak square, weak Chang's Conjecture, and a forcing axiom failure

David Aspero, Nutt Tananimit

We prove that the forcing axiom $MA^{1.5}_{\aleph_2}(\mbox{stratified})$ implies . Using this implication, we show that the forcing axiom $MM_{\aleph_2}(\aleph_2\m…

math.LO2021

Incompatible bounded category forcing axioms

David Aspero, Matteo Viale

We introduce bounded category forcing axioms for well-behaved classes . These are strong forms of bounded forcing axioms which completely decide the theory of some initial segme…

math.LO2018

Parametrized Measuring and Club Guessing

David Aspero, John Krueger

We introduce Strong Measuring, a maximal strengthening of J. T. Moore's Measuring principle, which asserts that every collection of fewer than continuum many closed bounded subsets…

math.LO2018★ 7 cited

Dependent Choice, Properness, and Generic Absoluteness

David Asperó, Asaf Karagila

We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the p…

math.LO2018★ 1 cited

Incompatible category forcing axioms

David Aspero, Matteo Viale

Given a cardinal , category forcing axioms for -suitable classes are strong forcing axioms which completely decide the theory of the Chang model , modulo ge…

math.LO2017

Few new reals

David Aspero, Miguel Angel Mota

We introduce a new method for building models of CH, together with statements over , by forcing. Unlike other forcing constructions in the literature, our constructio…