Terminal Absoluteness of Collapse Forcings

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Straffelini, Cesare
Format:	Preprint
Published:	2025
Subjects:	Logic 03E57, 03E60, 03E45
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Higher Solovay Models
by: Straffelini, Cesare, et al.
Published: (2025)

Generic Absoluteness Revisited
by: Fuchino, Sakaé, et al.
Published: (2024)

Forcing Axioms, the Uniformization and the Basis Property
by: Hoffelner, Stefan
Published: (2020)

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

Separating Maximality Principles
by: Gappo, Takehiko, et al.
Published: (2025)

Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
by: Fuchino, Sakaé
Published: (2025)

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

Reflection and Recurrence
by: Fuchino, Sakaé
Published: (2024)

On Recurrence Axioms
by: Fuchino, Sakaé, et al.
Published: (2024)

Partial Tower Sealing
by: Sargsyan, Grigor, et al.
Published: (2025)

Long games just beyond fixed countable length
by: Gappo, Takehiko, et al.
Published: (2026)

$Σ_1$ gaps as derived models and correctness of mice
by: Schlutzenberg, Farmer, et al.
Published: (2023)

Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$
by: Levinson, Derek, et al.
Published: (2022)

More Derived Models in PFA
by: Levinson, Derek, et al.
Published: (2026)

Mice with Woodin cardinals from a Reinhardt
by: Schlutzenberg, Farmer
Published: (2024)

The consistency strength of determinacy when all sets are universally Baire
by: Müller, Sandra
Published: (2021)

On a Conjecture Regarding the Mouse Order for Weasels
by: Kruschewski, Jan, et al.
Published: (2022)

Analysis of HOD for Admissible Structures
by: Kruschewski, Jan, et al.
Published: (2025)

An Iteration Theorem for $ω_1$-preserving Forcings
by: Lietz, Andreas
Published: (2024)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)

Building Models of Determinacy from Below
by: Kasum, Obrad, et al.
Published: (2024)

Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
by: Lietz, Andreas
Published: (2024)

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

Forcing More DC Over the Chang Model Using the Thorn Sequence
by: Holland, James, et al.
Published: (2022)

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

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

Derived Models in PFA
by: Levinson, Derek, et al.
Published: (2025)

$Σ_n$-correct Forcing Axioms
by: Goodman, Ben
Published: (2024)

The $κ$-Strongly Proper Forcing Axiom
by: Asperó, David, et al.
Published: (2019)

On Indestructible Strongly Guessing Models
by: Mohammadpour, Rahman, et al.
Published: (2023)

A Road To Compactness Through Guessing Models
by: Mohammadpour, Rahman
Published: (2022)

A virtual five element basis for the uncountable linear orders
by: Krueger, John, et al.
Published: (2025)

A ccc indestructible construction with CH
by: Peng, Yinhe
Published: (2025)

Martin's Axiom and Weak Kurepa Hypothesis
by: Mohammadpour, Rahman
Published: (2024)

Generically extendible cardinals
by: Usuba, Toshimichi
Published: (2022)

On forcing axioms and weakenings of the Axiom of Choice
by: Bomfim, Diego Lima, et al.
Published: (2024)

Local mantles of $L[x]$
by: Schlutzenberg, Farmer
Published: (2021)

Descriptive properties of I2-embeddings
by: Dimonte, Vincenzo, et al.
Published: (2023)

Low level definability above large cardinals
by: Schlutzenberg, Farmer
Published: (2024)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
by: Schlutzenberg, Farmer
Published: (2020)