Related papers: $\Sigma^1_3$ sets in the Sacks model

The Scott rank of a countable structure is a measure, coming from the proof of Scott's isomorphism theorem, of the complexity of that structure. The Scott spectrum of a theory (by which we mean a sentence of $\mathcal{L}_{\omega_1 \omega}$)…

Consider groups such as Mordell-Weil groups of abelian varieties over number fields, odd algebraic $K$-theory groups of number fields, or finitely generated subgroups of the multiplicative groups of number fields. They are all equipped with…

We show that the free boundary of a solution of the Stefan problem in $\mathbb R^{4+1}$ is a $3$-dimensional manifold of class $C^\infty$ in $\mathbb R^4$ for almost every time. This is achieved by showing that for all dimensions $n$ the…

W. Hurewicz proved that analytic Menger sets of reals are $\sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has…

We study the Sierpinski object $\Sigma$ in the realizability topos based on Scott's graph model of the $\lambda$-calculus. Our starting observation is that the object of realizers in this topos is the exponential $\Sigma ^N$, where $N$ is…

We stratify intuitionistic first-order logic over $(\forall,\to)$ into fragments determined by the alternation of positive and negative occurrences of quantifiers (Mints hierarchy). We study the decidability and complexity of these…

Keeping N=1 supersymmetry in 4-dimension and in the leading order, we disuss the various orbifold compactifications of M-theory suggested by Horava and Witten on $T^6/Z_3$, $T^6/Z_6$, $T^6/Z_{12}$, and the compactification by keeping…

The manifold hypothesis says that natural high-dimensional data lie on or around a low-dimensional manifold. The recent success of statistical and learning-based methods in very high dimensions empirically supports this hypothesis,…

We show that the theory of classical Hamiltonian systems admitting separating variables can be formulated in the context of ($\omega, \mathscr{H}$) structures. They are symplectic manifolds endowed with a compatible Haantjes algebra…

We show that when $r \geq 5$ is prime, the SO(3) Witten-Reshetikhin-Turaev quantum invariants for three-manifolds at the level $r$ form a dense set in the complex plane. This confirms a conjecture of Larsen and Wang.

Menger's conjecture that Menger spaces are /sigma-compact is false; it is true for analytic subspaces of Polish spaces and undecidable for more complex definable subspaces of Polish spaces. For non-metrizable spaces, analytic Menger spaces…

Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call ${\rm GM}^+(\omega_3,\omega_1)$ holds. This principle implies ${\rm ISP}(\omega_2)$ and ${\rm ISP}(\omega_3)$, and…

We develop a theory of Bridgeland stability conditions and moduli spaces of semistable objects for a family of varieties. Our approach is based on and generalizes previous work by Abramovich-Polishchuk, Kuznetsov, Lieblich, and…

We classify the computability-theoretic complexity of two index sets of classes of first-order theories: We show that the property of being an $\aleph_0$-categorical theory is $\Pi^0_3$-complete; and the property of being an Ehrenfeucht…

We establish a version of the complex Frobenius theorem in the context of a complex subbundle S of the complexified tangent bundle of a manifold, having minimal regularity. If the subbundle S defines the structure of a Levi-flat…

We study the join-semilattice of constructibility real degrees in the side-by-side Sacks model, the model of set theory obtained by forcing with a countable-support product of infinitely many Sacks forcings over the constructible universe.…

We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties.…

We study $\Sigma_1(\omega_1)$-definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $\Sigma_1$-formula with parameter $\omega_1$) in the presence of large cardinals. Our results show that the existence…

The non-linear $\Sigma$-Model minimally coupled with Maxwell theory in $3+1$ dimensions possesses a topologically non-trivial sector characterized by ``lasagna''-like configurations. We demonstrate that, when a specific quantization…

We use a complex version of the celebrated Atiyah-Hitchin-Drinfeld-Manin matrix equations to construct admissible torsion-free sheaves on $\p^3$ and complex quantum instantons over our quantum Minkowski space-time. We identify the moduli…