:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Blue, Douglas, Larson, Paul B., Sargsyan, Grigor
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2501.18958
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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)

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

Chang models over derived models with supercompact measures
by: Gappo, Takehiko, et al.
Published: (2023)

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

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

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

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

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

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

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

Strongly increasing sequences
by: Larson, Paul B., et al.
Published: (2025)

PFA and the definability of the nonstationary ideal
by: Hoffelner, Stefan, et al.
Published: (2023)

Unavoidable structures in infinite tournaments
by: Benford, Alistair, et al.
Published: (2023)

Intentic Semantics for Potentialist Truthmaking
by: Gorbow, Paul
Published: (2026)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
by: Pinsker, Michael, et al.
Published: (2025)

Generically Computable Linear Orderings
by: Calvert, Wesley, et al.
Published: (2024)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Prime Factorization in Models of PV$_1$
by: Ježil, Ondřej
Published: (2025)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

On the Constructive Theory of Jordan Curves
by: Bridges, Douglas S.
Published: (2025)

Improving Cauchy's Theorem in Constructive Analysis
by: Bridges, Douglas S.
Published: (2024)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

sp-Homogeneous Linear Orderings
by: Calvert, Wesley, et al.
Published: (2025)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
by: Vašíček, Ondřej, et al.
Published: (2026)

Feasible constructivism
by: Gorbow, Paul, et al.
Published: (2026)

Residually Dominated Groups in Henselian Valued Fields of Equicharacteristic Zero
by: Mutlu, Dicle, et al.
Published: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Nonembeddings of Combinatory Algebras
by: Lutz, Patrick, et al.
Published: (2026)

Meta-Modelling in Formal Concept Analysis
by: Wang, Yingjian
Published: (2024)

Logical Characterizations of Weighted Complexity Classes
by: Badia, Guillermo, et al.
Published: (2024)