$Σ^1_3$ sets in the Sacks model
Fuente:
arXiv
Saved in:
| Main Author: | Schilhan, Jonathan |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The Consistency of the $\bf{Σ^1_3}$-Separation Property
by: Hoffelner, Stefan
Published: (2019)
by: Hoffelner, Stefan
Published: (2019)
On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
by: Hoffelner, Stefan
Published: (2026)
by: Hoffelner, Stefan
Published: (2026)
A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
by: Hoffelner, Stefan
Published: (2023)
by: Hoffelner, Stefan
Published: (2023)
Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
by: Hoffelner, Stefan
Published: (2025)
by: Hoffelner, Stefan
Published: (2025)
Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
by: Hoffelner, Stefan
Published: (2020)
by: Hoffelner, Stefan
Published: (2020)
Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
by: Hoffelner, Stefan
Published: (2026)
by: Hoffelner, Stefan
Published: (2026)
Locally countable graphs of second projective class not generated by countably many projective functions
by: Kanovei, Vladimir, et al.
Published: (2026)
by: Kanovei, Vladimir, et al.
Published: (2026)
Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
by: Hoffelner, Stefan
Published: (2026)
by: Hoffelner, Stefan
Published: (2026)
Higher Solovay Models
by: Straffelini, Cesare, et al.
Published: (2025)
by: Straffelini, Cesare, et al.
Published: (2025)
Forcing Axioms, the Uniformization and the Basis Property
by: Hoffelner, Stefan
Published: (2020)
by: Hoffelner, Stefan
Published: (2020)
Constructibility real degrees in the side-by-side Sacks model
by: Notaro, Lorenzo
Published: (2025)
by: Notaro, Lorenzo
Published: (2025)
Intermediate models and Kinna--Wagner Principles
by: Karagila, Asaf, et al.
Published: (2024)
by: Karagila, Asaf, et al.
Published: (2024)
The consistency strength of determinacy when all sets are universally Baire
by: Müller, Sandra
Published: (2021)
by: Müller, Sandra
Published: (2021)
$Σ_1$ gaps as derived models and correctness of mice
by: Schlutzenberg, Farmer, et al.
Published: (2023)
by: Schlutzenberg, Farmer, et al.
Published: (2023)
Towards a theory of symmetric extensions
by: Karagila, Asaf, et al.
Published: (2026)
by: Karagila, Asaf, et al.
Published: (2026)
A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)
by: Müller, Sandra, et al.
Published: (2025)
Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
by: Watson, Connor
Published: (2024)
by: Watson, Connor
Published: (2024)
Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
by: Hoffelner, Stefan, et al.
Published: (2022)
by: Hoffelner, Stefan, et al.
Published: (2022)
Definable discrete sets with large continuum
by: Schrittesser, David
Published: (2016)
by: Schrittesser, David
Published: (2016)
Separating Maximality Principles
by: Gappo, Takehiko, et al.
Published: (2025)
by: Gappo, Takehiko, et al.
Published: (2025)
Descriptive properties of I2-embeddings
by: Dimonte, Vincenzo, et al.
Published: (2023)
by: Dimonte, Vincenzo, et al.
Published: (2023)
On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
by: Schlutzenberg, Farmer
Published: (2020)
by: Schlutzenberg, Farmer
Published: (2020)
Partial Tower Sealing
by: Sargsyan, Grigor, et al.
Published: (2025)
by: Sargsyan, Grigor, et al.
Published: (2025)
Ladder mice
by: Schlutzenberg, Farmer
Published: (2024)
by: Schlutzenberg, Farmer
Published: (2024)
Mouse scales
by: Schlutzenberg, Farmer
Published: (2023)
by: Schlutzenberg, Farmer
Published: (2023)
A formula for any real number, maybe
by: Hanson, James E., et al.
Published: (2026)
by: Hanson, James E., et al.
Published: (2026)
Low level definability above large cardinals
by: Schlutzenberg, Farmer
Published: (2024)
by: Schlutzenberg, Farmer
Published: (2024)
Power $Σ_1$ in Card with two Woodin cardinals
by: Schlutzenberg, Farmer
Published: (2025)
by: Schlutzenberg, Farmer
Published: (2025)
Upwards homogeneity in iterated symmetric extensions
by: Ryan-Smith, Calliope, et al.
Published: (2024)
by: Ryan-Smith, Calliope, et al.
Published: (2024)
Geometric condition for Dependent Choice
by: Karagila, Asaf, et al.
Published: (2022)
by: Karagila, Asaf, et al.
Published: (2022)
A Strong Kurepa Tree
by: Krueger, John
Published: (2025)
by: Krueger, John
Published: (2025)
Homogeneous forcing
by: Shelah, Saharon
Published: (2026)
by: Shelah, Saharon
Published: (2026)
The first measurable can be the first inaccessible cardinal
by: Gitik, Moti, et al.
Published: (2024)
by: Gitik, Moti, et al.
Published: (2024)
The complexity of non-stationary ideals
by: Lücke, Philipp
Published: (2024)
by: Lücke, Philipp
Published: (2024)
Adding the constant evasion and constant prediction numbers to Cichoń's maximum
by: Cardona, Miguel A., et al.
Published: (2025)
by: Cardona, Miguel A., et al.
Published: (2025)
Constant prediction and evasion number, I: Generalization and variants
by: Cardona, Miguel A., et al.
Published: (2025)
by: Cardona, Miguel A., et al.
Published: (2025)
Revisiting $\mathfrak b$ and $\mathfrak d$ through Interval Structures
by: Cardona, Miguel A., et al.
Published: (2026)
by: Cardona, Miguel A., et al.
Published: (2026)
The Ordering Principle and Dependent Choice
by: Holy, Peter, et al.
Published: (2025)
by: Holy, Peter, et al.
Published: (2025)
The Ordering Principle and Higher Dependent Choice
by: Holy, Peter, et al.
Published: (2025)
by: Holy, Peter, et al.
Published: (2025)
Force a set model of $Z_3$ + Harrington's Principle
by: Cheng, Yong
Published: (2014)
by: Cheng, Yong
Published: (2014)
Similar Items
-
The Consistency of the $\bf{Σ^1_3}$-Separation Property
by: Hoffelner, Stefan
Published: (2019) -
On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
by: Hoffelner, Stefan
Published: (2026) -
A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
by: Hoffelner, Stefan
Published: (2023) -
Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
by: Hoffelner, Stefan
Published: (2025) -
Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
by: Hoffelner, Stefan
Published: (2020)