Buchumschlag

On $(Σ^2_1)^{uB}$ Absoluteness Between V and HOD

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Goldberg, Gabriel, Hathaway, Dan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the optimality of the HOD dichotomy
von: Goldberg, Gabriel, et al.
Veröffentlicht: (2024)

Ultrapowers of determinacy models as iteration trees on HOD
von: Goldberg, Gabriel, et al.
Veröffentlicht: (2026)

Bounding 2D Functions by Products of 1D Functions
von: Dorais, François, et al.
Veröffentlicht: (2016)

Large cardinals beyond HOD
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2025)

On products of ultrafilters
von: Goldberg, Gabriel
Veröffentlicht: (2021)

The uniqueness of elementary embeddings
von: Goldberg, Gabriel
Veröffentlicht: (2021)

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

Certified $Σ_1$-sentences
von: Kurahashi, Taishi, et al.
Veröffentlicht: (2023)

Measures that violate the Generalized Continuum Hypothesis
von: Benhamou, Tom, et al.
Veröffentlicht: (2025)

The Galvin property under the Ultrapower Axiom
von: Benhamou, Tom, et al.
Veröffentlicht: (2023)

No cardinal correct inner model elementarily embeds into the universe
von: Goldberg, Gabriel, et al.
Veröffentlicht: (2024)

Applications of the Magidor Iteration to Ultrafilter Theory
von: Benhamou, Tom, et al.
Veröffentlicht: (2024)

On $Σ_1$-Definable Closed Unbounded Sets
von: Ben-Neria, Omer, et al.
Veröffentlicht: (2023)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
von: Cheng, Yong
Veröffentlicht: (2018)

Analysis of HOD for Admissible Structures
von: Kruschewski, Jan, et al.
Veröffentlicht: (2025)

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

$Σ_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class
von: Boney, Will
Veröffentlicht: (2024)

An "Absolute" Type of Logic
von: Avon, Mauro
Veröffentlicht: (2011)

Positionality in $Σ_0^2$ and a completeness result
von: Ohlmann, Pierre, et al.
Veröffentlicht: (2023)

Isomorphism Classes of Generating Sets
von: Benhamou, Tom, et al.
Veröffentlicht: (2025)

Solving SAT By Computing A Stable Set Of Points In Clusters
von: Goldberg, Eugene
Veröffentlicht: (2025)

On Efficient Algorithms For Partial Quantifier Elimination
von: Goldberg, Eugene
Veröffentlicht: (2024)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
von: Goldberg, Eugene
Veröffentlicht: (2024)

Partial Quantifier Elimination By Certificate Clauses
von: Goldberg, Eugene
Veröffentlicht: (2020)

Property Checking Without Inductive Invariants
von: Goldberg, Eugene
Veröffentlicht: (2016)

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

Large cardinals, structural reflection, and the HOD Conjecture
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

Goedel Logics: On the Elimination of The Absoluteness Operator
von: Baaz, Matthias, et al.
Veröffentlicht: (2026)

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

The singleton degrees of the $Σ^0_2$ sets are not dense
von: Kent, Thomas F., et al.
Veröffentlicht: (2024)

Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2026)

Absolute convergence and Taylor expansion in web based models of Linear Logic
von: Tasson, Christine, et al.
Veröffentlicht: (2026)

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

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

Robinson Splitting Theorem and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2026)

Program Synthesis is $Σ_3^0$-Complete
von: Kim, Jinwoo
Veröffentlicht: (2024)

Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences
von: Gilson, Frank
Veröffentlicht: (2025)

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

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

Expressive Power of Infinitary Logic and Absolute co-Hopfianity
von: Asgharzadeh, Mohsen, et al.
Veröffentlicht: (2023)