Image de couverture de livre

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hoffelner, Stefan, Larson, Paul, Schindler, Ralf, Wu, Liuzhen
Format:	Preprint
Publié:	2022
Sujets:	Logic 03E35, 03E45, 03E47, 03E55, 03E57
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
par: Hoffelner, Stefan
Publié: (2026)

Forcing Axioms, the Uniformization and the Basis Property
par: Hoffelner, Stefan
Publié: (2020)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
par: Hoffelner, Stefan
Publié: (2026)

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

An Iteration Theorem for $ω_1$-preserving Forcings
par: Lietz, Andreas
Publié: (2024)

On Recurrence Axioms
par: Fuchino, Sakaé, et autres
Publié: (2024)

Descriptive properties of I2-embeddings
par: Dimonte, Vincenzo, et autres
Publié: (2023)

Separating Maximality Principles
par: Gappo, Takehiko, et autres
Publié: (2025)

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

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

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

$Σ_n$-correct Forcing Axioms
par: Goodman, Ben
Publié: (2024)

The $κ$-Strongly Proper Forcing Axiom
par: Asperó, David, et autres
Publié: (2019)

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

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

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

Generic Absoluteness Revisited
par: Fuchino, Sakaé, et autres
Publié: (2024)

Reflection and Recurrence
par: Fuchino, Sakaé
Publié: (2024)

Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
par: Fuchino, Sakaé
Publié: (2025)

A virtual five element basis for the uncountable linear orders
par: Krueger, John, et autres
Publié: (2025)

On Indestructible Strongly Guessing Models
par: Mohammadpour, Rahman, et autres
Publié: (2023)

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

Higher Solovay Models
par: Straffelini, Cesare, et autres
Publié: (2025)

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

Varsovian models II
par: Sargsyan, Grigor, et autres
Publié: (2021)

Martin's Axiom and Weak Kurepa Hypothesis
par: Mohammadpour, Rahman
Publié: (2024)

The Axiom of Choice in the $κ$-Mantle
par: Lietz, Andreas
Publié: (2024)

Iteration theorems for subversions of forcing classes
par: Fuchs, Gunter, et autres
Publié: (2020)

Varsovian models $ω$
par: Schlutzenberg, Farmer
Publié: (2022)

Terminal Absoluteness of Collapse Forcings
par: Straffelini, Cesare
Publié: (2025)

Iterated club shooting and the stationary-logic constructible model
par: Ya'ar, Ur
Publié: (2022)

Compactness for small cardinals in mathematics: principles, consequences, and limitations
par: Honzik, Radek
Publié: (2025)

The complexity of non-stationary ideals
par: Lücke, Philipp
Publié: (2024)

Long Strong Chains of Subsets of $ω_1$
par: Asperó, David, et autres
Publié: (2026)

The first measurable can be the first inaccessible cardinal
par: Gitik, Moti, et autres
Publié: (2024)

On Namba Forcing and Minimal Collapses
par: Levine, Maxwell
Publié: (2024)

A note on Łoś's Theorem without the Axiom of Choice
par: Usuba, Toshimichi
Publié: (2023)

Forcing Axioms and construction schemes
par: Chapital, Jorge Antonio Cruz, et autres
Publié: (2025)

Force a set model of $Z_3$ + Harrington's Principle
par: Cheng, Yong
Publié: (2014)

$Σ_1$ gaps as derived models and correctness of mice
par: Schlutzenberg, Farmer, et autres
Publié: (2023)