Cover Image

Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Hoffelner, Stefan
Format:	Preprint
Published:	2026
Subjects:	Logic 03E35, 03E45, 03E47
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
by: Hoffelner, Stefan, et al.
Published: (2022)

The Consistency of the $\bf{Σ^1_3}$-Separation Property
by: Hoffelner, Stefan
Published: (2019)

A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
by: Hoffelner, Stefan
Published: (2023)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
by: Hoffelner, Stefan
Published: (2026)

Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
by: Hoffelner, Stefan
Published: (2025)

Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
by: Hoffelner, Stefan
Published: (2026)

Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
by: Hoffelner, Stefan
Published: (2020)

Forcing Axioms, the Uniformization and the Basis Property
by: Hoffelner, Stefan
Published: (2020)

Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
by: Lietz, Andreas
Published: (2024)

An Iteration Theorem for $ω_1$-preserving Forcings
by: Lietz, Andreas
Published: (2024)

Models for short sequences of measures in the cofinality-$ω$ constructible model
by: Ya'ar, Ur
Published: (2021)

$Σ^1_3$ sets in the Sacks model
by: Schilhan, Jonathan
Published: (2025)

Descriptive properties of I2-embeddings
by: Dimonte, Vincenzo, et al.
Published: (2023)

Varsovian models $ω$
by: Schlutzenberg, Farmer
Published: (2022)

Long Strong Chains of Subsets of $ω_1$
by: Asperó, David, et al.
Published: (2026)

The complexity of non-stationary ideals
by: Lücke, Philipp
Published: (2024)

Separating Maximality Principles
by: Gappo, Takehiko, et al.
Published: (2025)

$Σ_1$ gaps as derived models and correctness of mice
by: Schlutzenberg, Farmer, et al.
Published: (2023)

Power $Σ_1$ in Card with two Woodin cardinals
by: Schlutzenberg, Farmer
Published: (2025)

Kurepa trees, continuous images, and perfect set properties
by: Lambie-Hanson, Chris, et al.
Published: (2024)

Locally countable graphs of second projective class not generated by countably many projective functions
by: Kanovei, Vladimir, et al.
Published: (2026)

Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
by: Watson, Connor
Published: (2024)

Higher Solovay Models
by: Straffelini, Cesare, et al.
Published: (2025)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
by: Schlutzenberg, Farmer
Published: (2020)

$Σ_n$-correct Forcing Axioms
by: Goodman, Ben
Published: (2024)

Iterated club shooting and the stationary-logic constructible model
by: Ya'ar, Ur
Published: (2022)

Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
by: Andretta, Alessandro, et al.
Published: (2023)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)

Librationism & its classical and extraclassical set theories
by: Bjørdal, Frode A.
Published: (2022)

On the categoricity of complete second order theories
by: Saarinen, Tapio, et al.
Published: (2024)

Terminal Absoluteness of Collapse Forcings
by: Straffelini, Cesare
Published: (2025)

The first measurable can be the first inaccessible cardinal
by: Gitik, Moti, et al.
Published: (2024)

Forcing More DC Over the Chang Model Using the Thorn Sequence
by: Holland, James, et al.
Published: (2022)

Generalized Descriptive Set Theory and Classification Theory
by: Friedman, Sy-David, et al.
Published: (2012)

Forcing Axioms and construction schemes
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2025)

On Namba Forcing and Minimal Collapses
by: Levine, Maxwell
Published: (2024)

Constructibility real degrees in the side-by-side Sacks model
by: Notaro, Lorenzo
Published: (2025)

A consistency theorem for cardinal sequences of length $< ω_3$
by: Martínez, Juan Carlos, et al.
Published: (2025)

The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$
by: Schlutzenberg, Farmer
Published: (2019)

Forcing Over a Free Suslin Tree
by: Krueger, John, et al.
Published: (2024)