Buchumschlag

Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hoffelner, Stefan
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic 03E35, 03E45
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Forcing Axioms, the Uniformization and the Basis Property
von: Hoffelner, Stefan
Veröffentlicht: (2020)

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

The Consistency of the $\bf{Σ^1_3}$-Separation Property
von: Hoffelner, Stefan
Veröffentlicht: (2019)

Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
von: Hoffelner, Stefan
Veröffentlicht: (2026)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2026)

Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2025)

Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2020)

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
von: Hoffelner, Stefan, et al.
Veröffentlicht: (2022)

$Σ^1_3$ sets in the Sacks model
von: Schilhan, Jonathan
Veröffentlicht: (2025)

$Σ_n$-correct Forcing Axioms
von: Goodman, Ben
Veröffentlicht: (2024)

Martin's Axiom and Weak Kurepa Hypothesis
von: Mohammadpour, Rahman
Veröffentlicht: (2024)

On Recurrence Axioms
von: Fuchino, Sakaé, et al.
Veröffentlicht: (2024)

$Σ_1$ gaps as derived models and correctness of mice
von: Schlutzenberg, Farmer, et al.
Veröffentlicht: (2023)

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

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

Power $Σ_1$ in Card with two Woodin cardinals
von: Schlutzenberg, Farmer
Veröffentlicht: (2025)

Descriptive properties of I2-embeddings
von: Dimonte, Vincenzo, et al.
Veröffentlicht: (2023)

Higher Solovay Models
von: Straffelini, Cesare, et al.
Veröffentlicht: (2025)

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

Separating Maximality Principles
von: Gappo, Takehiko, et al.
Veröffentlicht: (2025)

Flatness and Nonforking without the Continuum Hypothesis
von: Majozi, Philani Rodney
Veröffentlicht: (2025)

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

The Axiom of Choice in the $κ$-Mantle
von: Lietz, Andreas
Veröffentlicht: (2024)

Baumgartner's Axiom and Small Posets
von: Marun, Pedro, et al.
Veröffentlicht: (2025)

Forcing Axioms and construction schemes
von: Chapital, Jorge Antonio Cruz, et al.
Veröffentlicht: (2025)

Variants of Baumgartner's Axiom for Lipschitz Functions on Baire and Cantor Space
von: Switzer, Corey Bacal
Veröffentlicht: (2025)

Constructibility real degrees in the side-by-side Sacks model
von: Notaro, Lorenzo
Veröffentlicht: (2025)

The first measurable can be the first inaccessible cardinal
von: Gitik, Moti, et al.
Veröffentlicht: (2024)

The complexity of non-stationary ideals
von: Lücke, Philipp
Veröffentlicht: (2024)

Open Colorings and Baumgartner's Axiom
von: Notaro, Lorenzo
Veröffentlicht: (2026)

A note on Łoś's Theorem without the Axiom of Choice
von: Usuba, Toshimichi
Veröffentlicht: (2023)

The $κ$-Strongly Proper Forcing Axiom
von: Asperó, David, et al.
Veröffentlicht: (2019)

Combinatorial Properties Related to the Higher Baumgartner's Axiom
von: Krueger, John
Veröffentlicht: (2026)

Uniformity numbers of the null-additive and meager-additive ideals
von: Cardona, Miguel A., et al.
Veröffentlicht: (2024)

A formula for any real number, maybe
von: Hanson, James E., et al.
Veröffentlicht: (2026)

The Axiom of Double Complement and its opposites
von: Jeon, Hanul, et al.
Veröffentlicht: (2026)

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

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

Long games just beyond fixed countable length
von: Gappo, Takehiko, et al.
Veröffentlicht: (2026)

Partial Tower Sealing
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2025)