A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
Fuente:
arXiv
Saved in:
| Main Author: | Hoffelner, Stefan |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
by: Hoffelner, Stefan
Published: (2025)
by: Hoffelner, Stefan
Published: (2025)
The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
by: Hoffelner, Stefan
Published: (2024)
by: Hoffelner, Stefan
Published: (2024)
Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
by: Hoffelner, Stefan
Published: (2020)
by: Hoffelner, Stefan
Published: (2020)
A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
by: Hoffelner, Stefan
Published: (2023)
by: Hoffelner, Stefan
Published: (2023)
Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
by: Hoffelner, Stefan
Published: (2026)
by: Hoffelner, Stefan
Published: (2026)
$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level
by: Hoffelner, Stefan
Published: (2025)
by: Hoffelner, Stefan
Published: (2025)
A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
by: Hoffelner, Stefan
Published: (2025)
by: Hoffelner, Stefan
Published: (2025)
On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
by: Suzuki, Yudai, et al.
Published: (2024)
by: Suzuki, Yudai, et al.
Published: (2024)
Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
by: Hoffelner, Stefan
Published: (2025)
by: Hoffelner, Stefan
Published: (2025)
PFA and the definability of the nonstationary ideal
by: Hoffelner, Stefan, et al.
Published: (2023)
by: Hoffelner, Stefan, et al.
Published: (2023)
Forcing Axioms, the Uniformization and the Basis Property
by: Hoffelner, Stefan
Published: (2020)
by: Hoffelner, Stefan
Published: (2020)
Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
by: Hoffelner, Stefan
Published: (2026)
by: Hoffelner, Stefan
Published: (2026)
The Consistency of the $\bf{Σ^1_3}$-Separation Property
by: Hoffelner, Stefan
Published: (2019)
by: Hoffelner, Stefan
Published: (2019)
On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
by: Hoffelner, Stefan
Published: (2026)
by: Hoffelner, Stefan
Published: (2026)
(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
by: Shamkanov, Daniyar
Published: (2025)
by: Shamkanov, Daniyar
Published: (2025)
The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
by: Cipriani, Vittorio, et al.
Published: (2022)
by: Cipriani, Vittorio, et al.
Published: (2022)
Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)
by: Almeida, Rodrigo Nicolau
Published: (2023)
Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
by: McCallum, Rupert
Published: (2026)
by: McCallum, Rupert
Published: (2026)
Friedman's $ \mathsf{WD} $ is not parameter-free sequential
by: Murwanashyaka, Juvenal
Published: (2025)
by: Murwanashyaka, Juvenal
Published: (2025)
$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
by: Zhuk, Dmitriy
Published: (2024)
by: Zhuk, Dmitriy
Published: (2024)
A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
by: Shamkanov, Daniyar
Published: (2024)
by: Shamkanov, Daniyar
Published: (2024)
Cofinitary groups and projective well-orders
by: Fischer, Vera, et al.
Published: (2023)
by: Fischer, Vera, et al.
Published: (2023)
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)
Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
by: Hayashi, Daichi
Published: (2024)
by: Hayashi, Daichi
Published: (2024)
Partitions of $\mathbb{R}^3$ into unit circles with no well-ordering of the reals
by: Fatalini, Azul
Published: (2025)
by: Fatalini, Azul
Published: (2025)
On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
by: Chen, Lijie, et al.
Published: (2024)
by: Chen, Lijie, et al.
Published: (2024)
An ordinal analysis of $Π_{N}$-Collection
by: Arai, Toshiyasu
Published: (2023)
by: Arai, Toshiyasu
Published: (2023)
On the cartesian product of well-orderings
by: Vialard, Isa
Published: (2022)
by: Vialard, Isa
Published: (2022)
On first-order definable operations on relational structures
by: Courcelle, Bruno
Published: (2026)
by: Courcelle, Bruno
Published: (2026)
Proofs for Free in the $λΠ$-Calculus Modulo Theory
by: Traversié, Thomas
Published: (2024)
by: Traversié, Thomas
Published: (2024)
A $wtt$-introimmune set in \texorpdfstring{$Π^0_1$}{Pi01} and introimmunity for several reducibilities
by: Cintioli, Patrizio
Published: (2026)
by: Cintioli, Patrizio
Published: (2026)
A note on uniform definability of types over finite sets in partial orders of finite width
by: Krisam, Timo, et al.
Published: (2024)
by: Krisam, Timo, et al.
Published: (2024)
Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
by: Hoffelner, Stefan, et al.
Published: (2022)
by: Hoffelner, Stefan, et al.
Published: (2022)
A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)
by: Jeřábek, Emil
Published: (2024)
Wadge degrees of $Δ^0_2$ omega-powers
by: Finkel, Olivier, et al.
Published: (2024)
by: Finkel, Olivier, et al.
Published: (2024)
Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
by: Traversié, Thomas
Published: (2024)
by: Traversié, Thomas
Published: (2024)
The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
by: Tzouvaras, Athanassios
Published: (2026)
by: Tzouvaras, Athanassios
Published: (2026)
Local and global $d$-rigidity are not definable in the first order logic of graphs
by: Bernstein, Daniel Irving, et al.
Published: (2025)
by: Bernstein, Daniel Irving, et al.
Published: (2025)
Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
by: Lorenz Halbeisen, et al.
Published: (2024)
by: Lorenz Halbeisen, et al.
Published: (2024)
Similar Items
-
$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
by: Hoffelner, Stefan
Published: (2025) -
The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
by: Hoffelner, Stefan
Published: (2024) -
Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
by: Hoffelner, Stefan
Published: (2020) -
A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation
by: Hoffelner, Stefan
Published: (2023) -
Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
by: Hoffelner, Stefan
Published: (2026)