5 citations · 7 across the 7 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
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
A forcing axiom for a non-special Aronszajn tree
John Krueger
Suppose that is an -Aronszajn tree with no stationary antichain. We introduce a forcing axiom PFA() for proper forcings which preserve these properties of . We…
math.LO2018★ 2 cited
The Harrington-Shelah Model with Large Continuum
Thomas Gilton, John Krueger
We prove from the existence of a Mahlo cardinal the consistency of the statement that holds and every stationary subset of reflects to an ordi…