Related papers: On $\boldsymbol{\Sigma}^1_3$- and $\Sigma^1_4$-uni…

We show that there are models of MA where the boldface $\Sigma^1_3$-uniformization property holds. Further we show that BPFA and the assertion $\aleph_1$ is accessible to reals outright implies that the boldface $\Sigma^1_3$-uniformization…

We force over the constructible universe to obtain a model of the $\Pi^1_3$-reduction property, thus lowering the best known large cardinal strength from the existence of $M_1^{\#}$ to just ZFC. In this model the $\Pi^1_3$-uniformization…

We present a method which allows the combination of forcing uniformization on the $\Pi$- and the $\Sigma$-side of the projective hierarchy to a certain extent. Using this method we construct a universe where ${\Pi}^1_3$-reduction holds,…

We generically construct a model in which the $\bf{\Sigma^1_3}$-separation property is true, i.e. every pair of disjoint $\bf{\Sigma^1_3}$-sets can be separated by a $\bf{\Delta^1_3}$-definable set. This answers an old question from the…

We generically construct a model in which the ${\Pi^1_3}$-uniformization property is true, thus lowering the best known consistency strength from the existence of $M_1^{\#}$ to just $\mathsf{ZFC}$. The forcing construction can be adapted to…

We show that given a reflecting cardinal, one can produce a model of $\mathsf{BPFA}$ where the $\Sigma^1_n$-uniformization property holds simultaneously for all $n \ge 2$.

We show that one can force over $L$ that $\Sigma^1_3$-separation holds, while $\Pi^1_3$-reduction fails, thus separating these two principles for the first time. The construction can be lifted to canonical inner models $M_n$ with $n$-many…

We construct a model in which the continuum has size $\kappa$ for a regular cardinal $\kappa$ and in which the $\Sigma^1_n$-uniformization property holds simultaneously for every $n \ge 2$. Additionally this model has a $\Delta^1_3$-…

In a handwtitten note of 1975, Leo Harrington sketched a construction of a model of ZFC (no large cardinals or anything beyond ZFC!) in which $\mathbf\Pi^1_3$-Separation holds but $\mathbf\Sigma^1_3$-Reduction fails. The result has never…

It is well known that the graph of a total $\mathbf{\Sigma}^1_n$-function is $\mathbf{\Pi}^1_n$. We prove the consistency of the dual assertion at the third projective level: there is a model of $\ZFC$ in which the graph of every total…

This paper details the construction of a universe where $\Pi^1_3$-uniformization is true, the Continuum Hypothesis holds yet it possesses a $\Delta^1_3$-definable well-order of its reals. The method can be lifted to canonical inner models…

We prove several theorems on sigma-bounded and sigma-compact pointsets. We start with a known theorem by Kechris, saying that any lightface \Sigma^1_1 set of the Baire space either is effectively sigma-bounded (that is, covered by a…

In this paper, we prove the following: If $n\ge3$, there is a generic extension of $L$ -- the constructible universe -- in which it is true that the Separation principle holds for both effective (lightface) classes $\varSigma^1_n$ and…

We present a model of set theory, in which, for a given $n\ge2$, there exists a non-ROD-uniformizable planar lightface $\varPi^1_n$ set in $\mathbb R\times\mathbb R$, whose all vertical cross-sections are countable sets (and in fact Vitali…

We construct a generic extension of $L$ satisfying Martin's Axiom, $2^{\aleph_0}=\aleph_3$, a lightface $\Delta^1_3$ wellorder of the reals, and $\Sigma^1_n$-uniformization for every $n\geq 2$ simultaneously.

The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…

In the first part of the talk, I explain what empirical evidence points to the need for having an effective grand unification-like symmetry possessing the symmetry SU(4)-color in 4D. If one assumes the premises of a future predictive theory…

This paper develops a rich theory of cardinality in the paraconsistent and paracomplete set theory $\mathrm{BZFC}$, where sets can be inconsistent ($A$ such that ``$x\in A$'' is both true and false for some $x$) or incomplete ($A$ such that…

We prove that it is consistent that every two disjoint boldface $\mathbf{\Sigma}^1_1$ subsets of $\omega_1^{\omega_1}$ can be separated by a boldface $\mathbf{\Delta}^1_1$ set. The forcing starts from $L$ and preserves CH and therefore also…

Models with gauge-Higgs unification on a flat space are typically affected by common problems, the main of which are the prediction of a too small top and Higgs mass and a too low compactification scale. We show how, by breaking the SO(4,1)…