Imagen de Portada

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Hoffelner, Stefan
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

Forcing Axioms, the Uniformization and the Basis Property
por: Hoffelner, Stefan
Publicado: (2020)

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

PFA and the definability of the nonstationary ideal
por: Hoffelner, Stefan, et al.
Publicado: (2023)

Certified $Σ_1$-sentences
por: Kurahashi, Taishi, et al.
Publicado: (2023)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
por: Suzuki, Yudai, et al.
Publicado: (2024)

On $Σ_1$-Definable Closed Unbounded Sets
por: Ben-Neria, Omer, et al.
Publicado: (2023)

$Σ_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class
por: Boney, Will
Publicado: (2024)

Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
por: McCallum, Rupert
Publicado: (2026)

Friedman's $ \mathsf{WD} $ is not parameter-free sequential
por: Murwanashyaka, Juvenal
Publicado: (2025)

On $(Σ^2_1)^{uB}$ Absoluteness Between V and HOD
por: Goldberg, Gabriel, et al.
Publicado: (2025)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
por: Hayashi, Daichi
Publicado: (2024)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
por: Shamkanov, Daniyar
Publicado: (2025)

On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
por: Chen, Lijie, et al.
Publicado: (2024)

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
por: Shamkanov, Daniyar
Publicado: (2024)

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

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
por: Lorenz Halbeisen, et al.
Publicado: (2024)

Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics
por: Arroyo, Vicent Navarro
Publicado: (2026)

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
por: Göller, Stefan, et al.
Publicado: (2023)

Con($\mathfrak{r}_{\mathsf{nwd}}<\mathfrak{irr}$)
por: Manríquez, Jonathan Cancino
Publicado: (2025)

Uniform interpolation with constructive diamond
por: van der Giessen, Iris, et al.
Publicado: (2026)

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

On some $Σ^{B}_{0}$-formulae generalizing counting principles over $V^{0}$
por: Ken, Eitetsu
Publicado: (2022)

The Lattice Problem for Models of $\mathsf{PA}$
por: Abdul-Quader, Athar, et al.
Publicado: (2024)

Positionality in $Σ_0^2$ and a completeness result
por: Ohlmann, Pierre, et al.
Publicado: (2023)

A General (Uniform) Relational Semantics for Sentential Logics
por: Hartonas, Chrysafis
Publicado: (2025)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
por: Férée, Hugo, et al.
Publicado: (2026)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
por: Houérou, Quentin Le, et al.
Publicado: (2026)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2018)

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

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
por: Cheng, Yong
Publicado: (2018)