Cover Image

Martin's measurable dilator

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Jeon, Hanul
Format:	Preprint
Published:	2025
Subjects:	Logic 03E15, 03E55, 03E60, 03F15
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)

On a cofinal Reinhardt embedding without Powerset
by: Jeon, Hanul
Published: (2024)

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

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

Stationary tower free homogeneously Suslin scales
by: Schlutzenberg, Farmer, et al.
Published: (2024)

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

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

Proof-theoretic dilator and intermediate pointclasses
by: Jeon, Hanul
Published: (2025)

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

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

Structural results on idealistic equivalence relations
by: Calderoni, Filippo, et al.
Published: (2025)

Baire reductions and good Borel reducibilities
by: Ros, Luca Motto
Published: (2010)

On Separating Wholeness Axioms
by: Jeon, Hanul
Published: (2023)

Universally Baire sets in $2^κ$
by: Ikegami, Daisuke, et al.
Published: (2024)

Large cardinals, structural reflection, and the HOD Conjecture
by: Aguilera, Juan P., et al.
Published: (2024)

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 Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)

Very large set axioms over constructive set theories
by: Jeon, Hanul, et al.
Published: (2022)

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

Jonsson and Magidor filters
by: Ben-Neria, Omer, et al.
Published: (2025)

Magidor-like forcing and the cofinality of the Galvin number
by: Garti, Shimon
Published: (2025)

Large cardinals beyond HOD
by: Aguilera, Juan Pablo, et al.
Published: (2025)

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

A formula for any real number, maybe
by: Hanson, James E., et al.
Published: (2026)

The Ramsey property and higher dimensional mad families
by: Schrittesser, David, et al.
Published: (2020)

Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions
by: Lutz, Patrick, et al.
Published: (2023)

The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)

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

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

On the significance of parameters and the projective level in the Choice and Comprehension axioms
by: Kanovei, Vladimir, et al.
Published: (2024)

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

$Σ^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 Strong Kurepa Tree
by: Krueger, John
Published: (2025)

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

On antichain numbers and the splitting ideal
by: Cieślak, Aleksander
Published: (2026)

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