Narrow Results

Using ⋄ and large cardinals we extend results of Magidor—Malitz and Farah—Larson to obtain models correct for the existence of uncountable homogeneous sets for finite-dimensional partitions and universally Baire sets. Furthermore, we show that the constructions in this paper and its predecessor can be modified to produce a family of 2^ω₁-many such models so that no two have a stationary, costationary subset of ω₁ in common. Finally, we extend a result of Steel to show that trees on reals of height ω₁ which are coded by universally Baire sets have either an uncountable path or an absolute impediment preventing one.