Stefan Hoffelner

collaborators

13 papers

math.LO2026

On a local variant of the 12th Delfino problem -- the $I^$ -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 rea…

math.LO2026

On a local variant of the 12th Delfino problem -- the $I^£$ -side

Stefan Hoffelner, Sandra MÃ¼ller

Assuming that $M_{n}$ , the canonical inner model with $n$ Woodin cardinals, exists, we force a model in which every $I^£_{n + 2}^{1}$ set is Lebesgue measurable and has the Bai…

math.LO2026

Martin's Axiom, Large Continuum and Global $I^£_{n}^{1}$ -Uniformization

Stefan Hoffelner

We construct a generic extension of $L$ satisfying Martin's Axiom, $2^{ℵ_{0}} = ℵ_{3}$ , a lightface $I^_{3}^{1}$ wellorder of the reals, and $I^£_{n}^{1}$ -uniformization for every $n\ge…

math.LO2026

On graphs of total projective functions

Stefan Hoffelner

It is well known that the graph of a total $I^£_{n}^{1}$ -function is $I^_{n}^{1}$ . We prove the consistency of the dual assertion at the third projective level: there is a mod…

math.LO2026

Forcing $I^£_{1}^{1}$ -Separation on $I ¨ _{1}^{I ¨ _{1}}$

Stefan Hoffelner

We prove that it is consistent that every two disjoint boldface $I^£_{1}^{1}$ subsets of $I ¨ _{1}^{I ¨ _{1}}$ can be separated by a boldface $I^_{1}^{1}$ set. The forcing starts from…

math.LO2026

On $I^£_{3}^{1}$ - and $I^£_{4}^{1}$ -uniformization

Stefan Hoffelner

Assuming the consistency of $ZFC$ , we construct a model of set theory in which the boldface $I^£_{3}^{1}$ -uniformization property holds, yet the lightface $I^£_{4}^{1}$ -unifo…

On a local variant of the 12th Delfino problem -- the I^-side

On a local variant of the 12th Delfino problem -- the I^£-side

Martin's Axiom, Large Continuum and Global I^£n1​-Uniformization

On graphs of total projective functions

Forcing I^£11​-Separation on I¨1I¨1​​

On I^£31​- and I^£41​-uniformization

On a local variant of the 12th Delfino problem -- the $I^$ -side

On a local variant of the 12th Delfino problem -- the $I^£$ -side

Martin's Axiom, Large Continuum and Global $I^£_{n}^{1}$ -Uniformization

Forcing $I^£_{1}^{1}$ -Separation on $I ¨ _{1}^{I ¨ _{1}}$

On $I^£_{3}^{1}$ - and $I^£_{4}^{1}$ -uniformization