Buchumschlag

The uniqueness of the core model

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Siskind, Benjamin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Ultrapowers of determinacy models as iteration trees on HOD
von: Goldberg, Gabriel, et al.
Veröffentlicht: (2026)

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

The uniqueness of elementary embeddings
von: Goldberg, Gabriel
Veröffentlicht: (2021)

Categorial grammars with unique category assignment
von: Vishnikin, Maxim, et al.
Veröffentlicht: (2025)

Cauchy-completions and the rule of unique choice in relational doctrines
von: Dagnino, Francesco, et al.
Veröffentlicht: (2024)

Shininess, strong politeness, and unicorns
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Being polite is not enough (and other limits of theory combination)
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)

Bringing closure to theory combination properties
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2026)

Completions of Kleene's second model
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2023)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2024)

Constructive higher sheaf models with applications to synthetic mathematics
von: Coquand, Thierry, et al.
Veröffentlicht: (2026)

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

Strongly Minimal Relics of T-convex Fields
von: Castle, Benjamin, et al.
Veröffentlicht: (2024)

Monoidal weak omega-categories as models of a type theory
von: Benjamin, Thibaut
Veröffentlicht: (2021)

Topologically 1-based T-minimal Structures
von: Castle, Benjamin, et al.
Veröffentlicht: (2025)

The equivariant model structure on cartesian cubical sets
von: Awodey, Steve, et al.
Veröffentlicht: (2024)

Chang models over derived models with supercompact measures
von: Gappo, Takehiko, et al.
Veröffentlicht: (2023)

Locales as spaces in outer models
von: Bannister, Nathaniel
Veröffentlicht: (2024)

Extreme types and extremal models
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2024)

Independence relations in the Solovay model I
von: Zapletal, Jindrich
Veröffentlicht: (2025)

Some model theory of the Heisenberg group
von: Frącek, Maciej, et al.
Veröffentlicht: (2025)

Hyperdefinability of the Lie model for approximate subgroups
von: Degasperi, Beatrice
Veröffentlicht: (2025)

Some model theory of quadratic geometries
von: Kestner, Charlotte, et al.
Veröffentlicht: (2024)

Measures and stability in a model, revisited
von: d'Elbée, Christian, et al.
Veröffentlicht: (2026)

Additivity of derived limits in the Cohen model
von: Bannister, Nathaniel
Veröffentlicht: (2023)

A Solovay-like model at $\aleph_ω$
von: Poveda, Alejandro, et al.
Veröffentlicht: (2025)

A short note on model theory of C((t))
von: Zhang, Zhentao
Veröffentlicht: (2025)

Ranking theories via encoded $β$-models
von: Jeon, Hanul, et al.
Veröffentlicht: (2025)

Approximation of hyperarithmetic analysis by $ω$-model reflection
von: Hashimoto, Koki
Veröffentlicht: (2024)

Degrees of the finite model property: the antidichotomy theorem
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)

Characterizing relative decidability in terms of model completeness
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2026)

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

P-measures in models without P-points
von: Borodulin-Nadzieja, Piotr, et al.
Veröffentlicht: (2024)

Trace definability II: model-theoretic linearity
von: Walsberg, Erik
Veröffentlicht: (2026)

Perfect set dichotomy theorem in generalized Solovay model
von: Sakai, Hiroshi, et al.
Veröffentlicht: (2025)

No cardinal correct inner model elementarily embeds into the universe
von: Goldberg, Gabriel, et al.
Veröffentlicht: (2024)

Towards a generic absoluteness theorem for Chang models
von: Müller, Sandra, et al.
Veröffentlicht: (2023)

Adding ultrafilters to Shelah's model for no nowhere dense ultrafilters
von: Raghavan, Dilip, et al.
Veröffentlicht: (2024)

The model theory of perfectoid fields [after Jahnke and Kartas]
von: Anscombe, Sylvy
Veröffentlicht: (2026)