Copertina

The uniqueness of the core model

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Siskind, Benjamin
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

The uniqueness of elementary embeddings
di: Goldberg, Gabriel
Pubblicazione: (2021)

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

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

Shininess, strong politeness, and unicorns
di: Przybocki, Benjamin, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

Locales as spaces in outer models
di: Bannister, Nathaniel
Pubblicazione: (2024)

Extreme types and extremal models
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2024)

Independence relations in the Solovay model I
di: Zapletal, Jindrich
Pubblicazione: (2025)

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

Hyperdefinability of the Lie model for approximate subgroups
di: Degasperi, Beatrice
Pubblicazione: (2025)

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

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

Additivity of derived limits in the Cohen model
di: Bannister, Nathaniel
Pubblicazione: (2023)

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

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

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

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

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

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

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

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

Trace definability II: model-theoretic linearity
di: Walsberg, Erik
Pubblicazione: (2026)

Perfect set dichotomy theorem in generalized Solovay model
di: Sakai, Hiroshi, et al.
Pubblicazione: (2025)

No cardinal correct inner model elementarily embeds into the universe
di: Goldberg, Gabriel, et al.
Pubblicazione: (2024)

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

Adding ultrafilters to Shelah's model for no nowhere dense ultrafilters
di: Raghavan, Dilip, et al.
Pubblicazione: (2024)

The model theory of perfectoid fields [after Jahnke and Kartas]
di: Anscombe, Sylvy
Pubblicazione: (2026)