Image de couverture de livre

More Derived Models in PFA

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Levinson, Derek, Trang, Nam, Wilson, Trevor
Format:	Preprint
Publié:	2026
Sujets:	Logic 03E45, 03E60
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Derived Models in PFA
par: Levinson, Derek, et autres
Publié: (2025)

Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$
par: Levinson, Derek, et autres
Publié: (2022)

Partial Tower Sealing
par: Sargsyan, Grigor, et autres
Publié: (2025)

The fine structure of operator mice
par: Schlutzenberg, Farmer, et autres
Publié: (2016)

Long games just beyond fixed countable length
par: Gappo, Takehiko, et autres
Publié: (2026)

Terminal Absoluteness of Collapse Forcings
par: Straffelini, Cesare
Publié: (2025)

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

Mice with Woodin cardinals from a Reinhardt
par: Schlutzenberg, Farmer
Publié: (2024)

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

Building Models of Determinacy from Below
par: Kasum, Obrad, et autres
Publié: (2024)

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

On a Conjecture Regarding the Mouse Order for Weasels
par: Kruschewski, Jan, et autres
Publié: (2022)

Forcing More DC Over the Chang Model Using the Thorn Sequence
par: Holland, James, et autres
Publié: (2022)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
par: Müller, Sandra, et autres
Publié: (2025)

A model of the Axiom of Determinacy in which every set of reals is universally Baire
par: Larson, Paul B., et autres
Publié: (2025)

Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
par: Watson, Connor
Publié: (2024)

Higher Solovay Models
par: Straffelini, Cesare, et autres
Publié: (2025)

New consequences of PFA($T^*$)
par: Martínez-Ranero, Carlos, et autres
Publié: (2025)

Locally countable graphs of second projective class not generated by countably many projective functions
par: Kanovei, Vladimir, et autres
Publié: (2026)

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

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

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

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

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

Varsovian models II
par: Sargsyan, Grigor, et autres
Publié: (2021)

Ladder mice
par: Schlutzenberg, Farmer
Publié: (2024)

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

Mouse scales
par: Schlutzenberg, Farmer
Publié: (2023)

$\star$-translation for Varsovian models
par: Schlutzenberg, Farmer
Publié: (2026)

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

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

Fine structure from normal iterability
par: Schlutzenberg, Farmer
Publié: (2020)

Full normalization for transfinite stacks
par: Schlutzenberg, Farmer
Publié: (2021)

Of Mice and Machetes
par: Henney-Turner, Christopher, et autres
Publié: (2024)

Varsovian models $ω$
par: Schlutzenberg, Farmer
Publié: (2022)

Full normalization for $κ^+$-supercompactness
par: Schlutzenberg, Farmer
Publié: (2025)

The initial segment condition for $κ^+$-supercompactness
par: Schlutzenberg, Farmer
Publié: (2023)

Ordinal definability in $L[\mathbb{E}]$
par: Schlutzenberg, Farmer
Publié: (2020)

Iterability for (transfinite) stacks
par: Schlutzenberg, Farmer
Publié: (2018)

The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$
par: Schlutzenberg, Farmer
Publié: (2019)