Copertina

$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Hoffelner, Stefan
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

Forcing Axioms, the Uniformization and the Basis Property
di: Hoffelner, Stefan
Pubblicazione: (2020)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Axiom $\mathcal{A}$ and supercompactness
di: Poveda, Alejandro
Pubblicazione: (2024)

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

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

Forcing and classes of $\mathsf{HYP}$-dominating functions
di: Greenberg, Noam, et al.
Pubblicazione: (2026)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
di: Alrabbaa, Christian, et al.
Pubblicazione: (2025)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
di: Borgwardt, Stefan, et al.
Pubblicazione: (2024)

On automorphisms of $\mathcal P(λ)/[λ]^{<λ}$
di: Kellner, Jakob, et al.
Pubblicazione: (2022)

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

Failure of an higher analogue of Mho
di: Feldman, Ido
Pubblicazione: (2024)

Reasoning about Weak Isolation Levels in Separation Logic
di: Mathiasen, Anders Alnor, et al.
Pubblicazione: (2025)

Separating Subversion Forcing Axioms
di: Sakai, Hiroshi, et al.
Pubblicazione: (2023)

Separation of congruence intervals and implications
di: Bulatov, Andrei A.
Pubblicazione: (2020)

Separably differentially closed fields
di: Ino, Kai, et al.
Pubblicazione: (2023)

On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories
di: Castelnovo, Davide, et al.
Pubblicazione: (2024)

A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis
di: Ben-Neria, Omer, et al.
Pubblicazione: (2024)