Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Goldberg, Gabriel, Hathaway, Dan
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the optimality of the HOD dichotomy
par: Goldberg, Gabriel, et autres
Publié: (2024)

Ultrapowers of determinacy models as iteration trees on HOD
par: Goldberg, Gabriel, et autres
Publié: (2026)

Bounding 2D Functions by Products of 1D Functions
par: Dorais, François, et autres
Publié: (2016)

Large cardinals beyond HOD
par: Aguilera, Juan Pablo, et autres
Publié: (2025)

On products of ultrafilters
par: Goldberg, Gabriel
Publié: (2021)

The uniqueness of elementary embeddings
par: Goldberg, Gabriel
Publié: (2021)

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

Certified $Σ_1$-sentences
par: Kurahashi, Taishi, et autres
Publié: (2023)

Measures that violate the Generalized Continuum Hypothesis
par: Benhamou, Tom, et autres
Publié: (2025)

The Galvin property under the Ultrapower Axiom
par: Benhamou, Tom, et autres
Publié: (2023)

No cardinal correct inner model elementarily embeds into the universe
par: Goldberg, Gabriel, et autres
Publié: (2024)

Applications of the Magidor Iteration to Ultrafilter Theory
par: Benhamou, Tom, et autres
Publié: (2024)

On $Σ_1$-Definable Closed Unbounded Sets
par: Ben-Neria, Omer, et autres
Publié: (2023)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
par: Cheng, Yong
Publié: (2018)

Analysis of HOD for Admissible Structures
par: Kruschewski, Jan, et autres
Publié: (2025)

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

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

An "Absolute" Type of Logic
par: Avon, Mauro
Publié: (2011)

Positionality in $Σ_0^2$ and a completeness result
par: Ohlmann, Pierre, et autres
Publié: (2023)

Isomorphism Classes of Generating Sets
par: Benhamou, Tom, et autres
Publié: (2025)

Solving SAT By Computing A Stable Set Of Points In Clusters
par: Goldberg, Eugene
Publié: (2025)

On Efficient Algorithms For Partial Quantifier Elimination
par: Goldberg, Eugene
Publié: (2024)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
par: Goldberg, Eugene
Publié: (2024)

Partial Quantifier Elimination By Certificate Clauses
par: Goldberg, Eugene
Publié: (2020)

Property Checking Without Inductive Invariants
par: Goldberg, Eugene
Publié: (2016)

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

Large cardinals, structural reflection, and the HOD Conjecture
par: Aguilera, Juan P., et autres
Publié: (2024)

Goedel Logics: On the Elimination of The Absoluteness Operator
par: Baaz, Matthias, et autres
Publié: (2026)

Power $Σ_1$ in Card with two Woodin cardinals
par: Schlutzenberg, Farmer
Publié: (2025)

The singleton degrees of the $Σ^0_2$ sets are not dense
par: Kent, Thomas F., et autres
Publié: (2024)

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

Absolute convergence and Taylor expansion in web based models of Linear Logic
par: Tasson, Christine, et autres
Publié: (2026)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
par: Hoffelner, Stefan
Publié: (2026)

$Σ^1_3$ sets in the Sacks model
par: Schilhan, Jonathan
Publié: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
par: Liu, Yong, et autres
Publié: (2026)

Program Synthesis is $Σ_3^0$-Complete
par: Kim, Jinwoo
Publié: (2024)

Arithmetical Complexity and Absoluteness of Rigidity Phenomena for Ulam Sequences
par: Gilson, Frank
Publié: (2025)

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

$Σ_1$ gaps as derived models and correctness of mice
par: Schlutzenberg, Farmer, et autres
Publié: (2023)

Expressive Power of Infinitary Logic and Absolute co-Hopfianity
par: Asgharzadeh, Mohsen, et autres
Publié: (2023)