5 citations · 7 across the 7 of their papers we have counts for
4 papers · 2 filters
Coherent Adequate Sets and Forcing Square
John Krueger
We introduce the idea of a coherent adequate set of models, which can be used as side conditions in forcing. As an application we define a forcing poset which adds a square sequenc…
Coherent Adequate Forcing and Preserving CH
John Krueger, Miguel Angel Mota
We develop a general framework for forcing with coherent adequate sets on as side conditions, where is a cardinal of uncountable cofinality. We describe a class o…
Forcing with Adequate Sets of Models as Side Conditions
John Krueger
We present a general framework for forcing on with finite conditions using countable models as side conditions. This framework is based on a method of comparing countable mod…
Quotients of Strongly Proper Forcings and Guessing Models
Sean Cox, John Krueger
We prove that a wide class of strongly proper forcing posets have quotients with strong properties. Specifically, we prove that quotients of forcing posets which have simple univer…