4 citations · 4 across the 4 of their papers we have counts for
Showing 2014 · math.LOShow all
3 papers · 2 filters
math.LO2014
Mitchell-style forcing, with small working parts and collections of models as side conditions, and gap-one simplified morasses
Charles Morgan
We give a modification of Mitchell's technique for adding objects of size with conditions with finite working parts in which the collections of models used as side conditions…
math.LO2014
Small universal families of graphs on
James Cummings, Mirna Džamonja, Charles Morgan
We prove that it is consistent that is strong limit, is large and the universality number for graphs on is small. The proof uses Prikry for…
math.LO2014
A Framework for Forcing Constructions at Successors of Singular Cardinals
James Cummings, Mirna Džamonja, Menachem Magidor +2
We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in w…