5 citations · 13 across the 22 of their papers we have counts for
6 papers · 2 filters
On a local variant of the 12th Delfino problem -- the -side
Stefan Hoffelner
Assume that \(M_n\), the canonical inner model with \(n\) Woodin cardinals, exists. We force a model with continuum \(\aleph_2\) in which every \(\boldsymbolΣ^1_{n+2}\) set of real…
On a local variant of the 12th Delfino problem -- the -side
Stefan Hoffelner, Sandra Müller
Assuming that , the canonical inner model with Woodin cardinals, exists, we force a model in which every set is Lebesgue measurable and has the Bair…
Martin's Axiom, Large Continuum and Global -Uniformization
Stefan Hoffelner
We construct a generic extension of satisfying Martin's Axiom, , a lightface wellorder of the reals, and -uniformization for every $n\geq…
On graphs of total projective functions
Stefan Hoffelner
It is well known that the graph of a total -function is . We prove the consistency of the dual assertion at the third projective level: there is a model…
Forcing -Separation on
Stefan Hoffelner
We prove that it is consistent that every two disjoint boldface subsets of can be separated by a boldface set. The forcing starts from …
On - and -uniformization
Stefan Hoffelner
Assuming the consistency of , we construct a model of set theory in which the boldface -uniformization property holds, yet the lightface -uniform…