Buchumschlag

The breadth of constructibility degrees and definable Sierpiński's coverings

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Andretta, Alessandro, Notaro, Lorenzo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic Primary 03E15, Secondary 03E45
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
von: Andretta, Alessandro, et al.
Veröffentlicht: (2023)

Building Models of Determinacy from Below
von: Kasum, Obrad, et al.
Veröffentlicht: (2024)

Open Colorings and Baumgartner's Axiom
von: Notaro, Lorenzo
Veröffentlicht: (2026)

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

Some questions on entangled linear orders
von: Carroy, Raphaël, et al.
Veröffentlicht: (2025)

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

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

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

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

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

On maximal ladders
von: Notaro, Lorenzo
Veröffentlicht: (2026)

Ladders and Squares
von: Notaro, Lorenzo
Veröffentlicht: (2025)

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

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)

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

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

Stone type representation theorems via games
von: Aslan, Tuğba, et al.
Veröffentlicht: (2018)

A game for Baire's grand theorem
von: Notaro, Lorenzo
Veröffentlicht: (2023)

Inner models from extended logics and the Delta-operation
von: Väänänen, Jouko, et al.
Veröffentlicht: (2025)

Any function I can actually write down is measurable, right?
von: Hanson, James E.
Veröffentlicht: (2025)

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

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

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

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)

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

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
von: Kanovei, Vladimir, et al.
Veröffentlicht: (2025)

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

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

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

Very large set axioms over constructive set theories
von: Jeon, Hanul, et al.
Veröffentlicht: (2022)

Ordinal definability in $L[\mathbb{E}]$
von: Schlutzenberg, Farmer
Veröffentlicht: (2020)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
von: Hoffelner, Stefan
Veröffentlicht: (2026)