Image de couverture de livre

PFA and the definability of the nonstationary ideal

Fuente: arXiv

Enregistré dans:

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

Documents similaires

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
par: Hoffelner, Stefan, et autres
Publié: (2022)

$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
par: Hoffelner, Stefan
Publié: (2025)

A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
par: Hoffelner, Stefan
Publié: (2025)

A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
par: Hoffelner, Stefan
Publié: (2025)

$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level
par: Hoffelner, Stefan
Publié: (2025)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
par: Hoffelner, Stefan
Publié: (2024)

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

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

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)

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

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)

More Derived Models in PFA
par: Levinson, Derek, et autres
Publié: (2026)

Martin's Maximum${}^{\ast, ++}_{\mathfrak{c}}$ in $\mathbb{P}_{\max}$ extensions of strong models of determinacy
par: Schindler, Ralf, et autres
Publié: (2024)

Derived Models in PFA
par: Levinson, Derek, et autres
Publié: (2025)

New consequences of PFA($T^*$)
par: Martínez-Ranero, Carlos, et autres
Publié: (2025)

The transcendence degree of the reals over certain set-theoretical subfields
par: Fatalini, Azul, et autres
Publié: (2024)

Modal definability in Euclidean modal logics
par: Balbiani, Philippe, et autres
Publié: (2025)

On definable J-sets
par: Zhang, Zhentao
Publié: (2025)

Nairian Models
par: Blue, Douglas, et autres
Publié: (2025)

Modal definability in Kripke's theory of truth
par: Walsh, James
Publié: (2024)

Trace definability I: preservation and characterizations
par: Walsberg, Erik
Publié: (2025)

Egorov ideals
par: Kwela, Adam
Publié: (2023)

On groups definable in geometric fields with generic derivations
par: Pillay, Anand, et autres
Publié: (2025)

The short exact sequence in definable Galois cohomology
par: Meretzky, David
Publié: (2024)

Trace definability IV: higher arity notions
par: Walsberg, Erik
Publié: (2026)

One-dimensional F-definable sets in F((t))
par: Anscombe, Sylvy
Publié: (2015)

Isomorphism types of definable (maximal) cofinitary groups
par: Schembecker, Lukas
Publié: (2025)

Trace definability II: model-theoretic linearity
par: Walsberg, Erik
Publié: (2026)

Unavoidable structures in infinite tournaments
par: Benford, Alistair, et autres
Publié: (2023)

Free Independence is not definable
par: Boulanger, William, et autres
Publié: (2025)

On ideals related to Laver and Miller trees
par: Cieślak, Aleksander, et autres
Publié: (2023)

Saturated ideals from Laver collapses
par: Eskew, Monroe
Publié: (2024)

Comparing forcing approaches to dense ideals
par: Eskew, Monroe
Publié: (2025)

On definability of C*-tensor norms
par: Goldbring, Isaac, et autres
Publié: (2025)

Trace definability III: Infinite dimensional space over a model of $T$
par: Walsberg, Erik
Publié: (2026)

On Star operation and some ideals on the Baire space
par: Cieślak, Aleksander, et autres
Publié: (2026)

Terms that define nuclei on residuated lattices: a case study of BL-algebras
par: Buss, Sebastián, et autres
Publié: (2024)