Papers
Topics
Authors
Recent
Search
2000 character limit reached

$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals

Published 1 Jul 2025 in math.LO | (2507.01183v1)

Abstract: Assuming $M_1$, the canonical inner model with one Woodin cardinal exists, we construct a model in which the nonstationary ideal on $\omega_1$ is $\aleph_2$-saturated, $\Delta_1$-definable with $\omega_1$ as the only parameter and there is a $\Sigma1_{4}$-definable well-order of the reals. This implies that contrary to the assumption that $NS_{\omega_1}$ is $\aleph_1$-dense, the assumption of $NS_{\omega_1}$ being saturated and $\Delta_1$-definable does not imply any nice structural properties for the projective subsets of the reals.

Summary

No one has generated a summary of this paper yet.

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Continue Learning

We haven't generated follow-up questions for this paper yet.

Authors (1)

Collections

Sign up for free to add this paper to one or more collections.