:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Gappo, Takehiko, Müller, Sandra, Sargsyan, Grigor
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2307.08607
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
by: Aksornthong, Navin, et al.
Published: (2023)

Towards a generic absoluteness theorem for Chang models
by: Müller, Sandra, et al.
Published: (2023)

Gödel's Program in Set Theory
by: Müller, Sandra, et al.
Published: (2024)

Long games just beyond fixed countable length
by: Gappo, Takehiko, et al.
Published: (2026)

Generic Generators
by: Sargsyan, Grigor
Published: (2023)

Hjorth's reflection argument
by: Sargsyan, Grigor
Published: (2021)

Ultrapowers of determinacy models as iteration trees on HOD
by: Goldberg, Gabriel, et al.
Published: (2026)

The Largest Suslin Axiom
by: Sargsyan, Grigor, et al.
Published: (2021)

The exact strength of generic absoluteness for the universally Baire sets
by: Sargsyan, Grigor, et al.
Published: (2021)

AD$^+$ implies that $ω_1$ is a $Θ$-Berkeley cardinal
by: Blue, Douglas, et al.
Published: (2024)

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

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

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

Separating Maximality Principles
by: Gappo, Takehiko, et al.
Published: (2025)

Nairian Models
by: Blue, Douglas, et al.
Published: (2025)

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

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

Mitchell rank for supercompactness
by: Carmody, Erin
Published: (2026)

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

Axiom $\mathcal{A}$ and supercompactness
by: Poveda, Alejandro
Published: (2024)

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

Generic Absoluteness Revisited
by: Fuchino, Sakaé, et al.
Published: (2024)

Cardinal invariants of idealized Miller null sets
by: Cieślak, Aleksander, et al.
Published: (2026)

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

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

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
by: Cheng, Yong
Published: (2018)

Additivity of derived limits in the Cohen model
by: Bannister, Nathaniel
Published: (2023)

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
by: Müller, Sandra
Published: (2024)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
by: Hamkins, Joel David, et al.
Published: (2022)

Trace definability III: Infinite dimensional space over a model of $T$
by: Walsberg, Erik
Published: (2026)

The $λ$-PSP at $λ$-coanalytic sets
by: Barrera, Fernando, et al.
Published: (2025)

Outward compactness
by: Holy, Peter, et al.
Published: (2024)

Completions of Kleene's second model
by: Terwijn, Sebastiaan A.
Published: (2023)

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

Models of Abelian varieties over valued fields, using model theory
by: Halevi, Yatir
Published: (2023)

P-measures in models without P-points
by: Borodulin-Nadzieja, Piotr, et al.
Published: (2024)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

The equivariant model structure on cartesian cubical sets
by: Awodey, Steve, et al.
Published: (2024)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

On merge-models
by: Buffière, Hector, et al.
Published: (2026)