Cover Image

Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Levinson, Derek, Neeman, Itay, Sargsyan, Grigor
Format:	Preprint
Published:	2022
Subjects:	Logic 03E45 03E60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

Varsovian models II
by: Sargsyan, Grigor, et al.
Published: (2021)

The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals
by: Blue, Douglas, et al.
Published: (2026)

A model of the Axiom of Determinacy in which every set of reals is universally Baire
by: Larson, Paul B., et al.
Published: (2025)

Terminal Absoluteness of Collapse Forcings
by: Straffelini, Cesare
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)

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)

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

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

Ordinal definability in $L[\mathbb{E}]$
by: Schlutzenberg, Farmer
Published: (2020)

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

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

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

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

Locally countable graphs of second projective class not generated by countably many projective functions
by: Kanovei, Vladimir, et al.
Published: (2026)

$Σ^1_3$ sets in the Sacks model
by: Schilhan, Jonathan
Published: (2025)

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

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

Ladder mice
by: Schlutzenberg, Farmer
Published: (2024)

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

Mouse scales
by: Schlutzenberg, Farmer
Published: (2023)

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

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

Varsovian models $ω$
by: Schlutzenberg, Farmer
Published: (2022)

Power $Σ_1$ in Card with two Woodin cardinals
by: Schlutzenberg, Farmer
Published: (2025)

Fine structure from normal iterability
by: Schlutzenberg, Farmer
Published: (2020)

$\star$-translation for Varsovian models
by: Schlutzenberg, Farmer
Published: (2026)

Full normalization for transfinite stacks
by: Schlutzenberg, Farmer
Published: (2021)

Of Mice and Machetes
by: Henney-Turner, Christopher, et al.
Published: (2024)

Full normalization for $κ^+$-supercompactness
by: Schlutzenberg, Farmer
Published: (2025)

The initial segment condition for $κ^+$-supercompactness
by: Schlutzenberg, Farmer
Published: (2023)

The fine structure of operator mice
by: Schlutzenberg, Farmer, et al.
Published: (2016)

Iterability for (transfinite) stacks
by: Schlutzenberg, Farmer
Published: (2018)

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