October 20, 2025Open Access

Σ¹₃ sets in the Sacks model

View Full Paper

Ask AI

Bookmark

Every $Σ^1_3$ set is Marczewski measurable, indicating significant properties of these sets.
The optimal complexity of a Bernstein set is identified as $Δ^1_4$, which has important implications in set theory.
The study demonstrates the applicability of the Mansfield-Solovay Theorem in the Sacks model, enriching the understanding of related sets.
A method for separating the Mansfield-Solovay Theorem at non-trivial levels of the projective hierarchy is also presented.

Implication

The analysis reveals that every $Σ^1_3$ set is Marczewski measurable, highlighting implications for the projective hierarchy.

Abstract

We show that in the iterated Sacks model over the constructible universe the Mansfield-Solovay Theorem holds for Σ¹₃ sets. In particular, every Σ¹₃ set is Marczewski measurable and the optimal complexity for a Bernstein set is Δ¹₄. Based on a result by Kanovei, we also briefly show how to separate the Mansfield-Solovay Theorem at non-trivial levels of the projective hierarchy.

Discussion

No takes yet. Share an insight, caveat, or question.

Cite This Study

Jonathan Schilhan (2025) studied this question.

synapsesocial.com/papers/68f6379bb481a140a36cf74c https://doi.org/10.48550/arxiv.2506.15308

View Full Paper

Ask AI

Bookmark

Implication

The analysis reveals that every $Σ^1_3$ set is Marczewski measurable, highlighting implications for the projective hierarchy.

Σ¹₃ sets in the Sacks model

Key Points

Implication

Abstract

Discussion

Cite This Study

Σ¹₃ sets in the Sacks model

Key Points

Implication

Abstract

Discussion

Cite This Study

Keep reading

Keep reading