Buchumschlag

Building Models of Determinacy from Below

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kasum, Obrad, Sargsyan, Grigor
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03E60 (Primary) 03E15, 03E45 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Partial Tower Sealing
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2025)

Marginalia to a Theorem of Asperó and Schindler
von: Kasum, Obrad, et al.
Veröffentlicht: (2023)

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

Derived Models in PFA
von: Levinson, Derek, et al.
Veröffentlicht: (2025)

Forcing More DC Over the Chang Model Using the Thorn Sequence
von: Holland, James, et al.
Veröffentlicht: (2022)

The breadth of constructibility degrees and definable Sierpiński's coverings
von: Andretta, Alessandro, et al.
Veröffentlicht: (2024)

Strong reducibilities and set theory
von: Schweber, Noah
Veröffentlicht: (2024)

Varsovian models II
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2021)

The consistency strength of determinacy when all sets are universally Baire
von: Müller, Sandra
Veröffentlicht: (2021)

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

A formula for any real number, maybe
von: Hanson, James E., et al.
Veröffentlicht: (2026)

Monoidal Symmetric Models
von: Basak, Dianthe
Veröffentlicht: (2024)

Models for short sequences of measures in the cofinality-$ω$ constructible model
von: Ya'ar, Ur
Veröffentlicht: (2021)

Iterated club shooting and the stationary-logic constructible model
von: Ya'ar, Ur
Veröffentlicht: (2022)

The first measurable can be the first inaccessible cardinal
von: Gitik, Moti, et al.
Veröffentlicht: (2024)

The complexity of non-stationary ideals
von: Lücke, Philipp
Veröffentlicht: (2024)

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
von: Ikegami, Daisuke, et al.
Veröffentlicht: (2025)

Constructibility real degrees in the side-by-side Sacks model
von: Notaro, Lorenzo
Veröffentlicht: (2025)

More Derived Models in PFA
von: Levinson, Derek, et al.
Veröffentlicht: (2026)

Mice with Woodin cardinals from a Reinhardt
von: Schlutzenberg, Farmer
Veröffentlicht: (2024)

Universally Baire sets in $2^κ$
von: Ikegami, Daisuke, et al.
Veröffentlicht: (2024)

Terminal Absoluteness of Collapse Forcings
von: Straffelini, Cesare
Veröffentlicht: (2025)

Long games just beyond fixed countable length
von: Gappo, Takehiko, et al.
Veröffentlicht: (2026)

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

Clarifying ordinals
von: Schweber, Noah
Veröffentlicht: (2024)

Higher Solovay Models
von: Straffelini, Cesare, et al.
Veröffentlicht: (2025)

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

Ladder mice
von: Schlutzenberg, Farmer
Veröffentlicht: (2024)

Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2020)

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

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

Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2025)

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

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

Mouse scales
von: Schlutzenberg, Farmer
Veröffentlicht: (2023)

Two $\mathfrak{b}$ or not two $\mathfrak{b}$?
von: Filipów, Rafał, et al.
Veröffentlicht: (2025)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
von: Massmann, Jayde Sylvie
Veröffentlicht: (2023)

Low level definability above large cardinals
von: Schlutzenberg, Farmer
Veröffentlicht: (2024)

Forcing Axioms, the Uniformization and the Basis Property
von: Hoffelner, Stefan
Veröffentlicht: (2020)

On the significance of parameters and the projective level in the Choice and Comprehension axioms
von: Kanovei, Vladimir, et al.
Veröffentlicht: (2024)