:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Siskind, Benjamin
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2501.14076
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

The uniqueness of elementary embeddings
by: Goldberg, Gabriel
Published: (2021)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

Categorial grammars with unique category assignment
by: Vishnikin, Maxim, et al.
Published: (2025)

Shininess, strong politeness, and unicorns
by: Przybocki, Benjamin, et al.
Published: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, 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)

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

Monoidal weak omega-categories as models of a type theory
by: Benjamin, Thibaut
Published: (2021)

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

Strongly Minimal Relics of T-convex Fields
by: Castle, Benjamin, et al.
Published: (2024)

Topologically 1-based T-minimal Structures
by: Castle, Benjamin, et al.
Published: (2025)

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

Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)

Locales as spaces in outer models
by: Bannister, Nathaniel
Published: (2024)

Extreme types and extremal models
by: Bagheri, Seyed-Mohammad
Published: (2024)

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

A Dynamic Logic for Information Evaluation in Intelligence
by: Icard, Benjamin
Published: (2024)

On Homomorphism Indistinguishability and Hypertree Depth
by: Scheidt, Benjamin
Published: (2024)

Independence relations in the Solovay model I
by: Zapletal, Jindrich
Published: (2025)

Some model theory of the Heisenberg group
by: Frącek, Maciej, et al.
Published: (2025)

Hyperdefinability of the Lie model for approximate subgroups
by: Degasperi, Beatrice
Published: (2025)

Some model theory of quadratic geometries
by: Kestner, Charlotte, et al.
Published: (2024)

Measures and stability in a model, revisited
by: d'Elbée, Christian, et al.
Published: (2026)

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

A Solovay-like model at $\aleph_ω$
by: Poveda, Alejandro, et al.
Published: (2025)

A short note on model theory of C((t))
by: Zhang, Zhentao
Published: (2025)

Ranking theories via encoded $β$-models
by: Jeon, Hanul, et al.
Published: (2025)

Approximation of hyperarithmetic analysis by $ω$-model reflection
by: Hashimoto, Koki
Published: (2024)

Degrees of the finite model property: the antidichotomy theorem
by: Bezhanishvili, Guram, et al.
Published: (2023)

Characterizing relative decidability in terms of model completeness
by: Harrison-Trainor, Matthew, et al.
Published: (2026)

Axiomatizing logics of finite Gödel-Kripke models
by: Vidal, Amanda, et al.
Published: (2026)

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

Trace definability II: model-theoretic linearity
by: Walsberg, Erik
Published: (2026)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)