Buchumschlag

Hilbert spaces admit no finitary discrete imaginaries

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Ruiyuan, Trindade, Isabel
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Category Theory Logic 18C35, 03C66
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

NSOP$_1$-like independence in AECats
von: Kamsma, Mark
Veröffentlicht: (2021)

A universal characterization of standard Borel spaces
von: Chen, Ruiyuan
Veröffentlicht: (2019)

Lifting independence along functors
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Groupoids, imaginaries and internal covers
von: Hrushovski, Ehud
Veröffentlicht: (2006)

Duality theory for categorical theories
von: Ye, Lingyuan
Veröffentlicht: (2026)

Atomic Toposes with Co-Well-Founded Categories of Atoms
von: Marquès, Jérémie
Veröffentlicht: (2024)

Bundles of metric structures as left ultrafunctors
von: Hamad, Ali
Veröffentlicht: (2024)

Algebraic Type Theory, Part 1: Martin-Löf algebras
von: Awodey, Steve
Veröffentlicht: (2025)

Quotients, pure existential completions and arithmetic universes
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)

Cofibrant generation of pure monomorphisms in presheaf categories
von: Cox, Sean, et al.
Veröffentlicht: (2025)

Explicit affine formulas for distances between tuples in classical discrete structures
von: Molina-Mounier, Arthur
Veröffentlicht: (2026)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2025)

Evolution systems: A framework for studying generic mathematical structures
von: Kubiś, Wiesław, et al.
Veröffentlicht: (2021)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
von: Lambert, Michael J.
Veröffentlicht: (2024)

A metric lifting theorem
von: De Bondt, Ben, et al.
Veröffentlicht: (2024)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
von: Frey, Jonas
Veröffentlicht: (2023)

On duality and model theory for polyadic spaces
von: van Gool, Sam, et al.
Veröffentlicht: (2022)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
von: Gilson, Frank
Veröffentlicht: (2025)

A characterization of Continuous Logic by using quantale-valued logics
von: Reyes, David, et al.
Veröffentlicht: (2021)

Model theory in compactly generated (tensor-)triangulated categories
von: Prest, Mike, et al.
Veröffentlicht: (2023)

A Completeness Theorem for Topological Doctrines
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

On logical parameterizations and functional representability in local set theories
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2021)

General real-valued theories with the Schröder-Bernstein property are stable
von: Berenstein, Alexander, et al.
Veröffentlicht: (2025)

Affinization and quantifier-elimination
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2025)

A note on $\varepsilon$-stability
von: Chavarria, Nicolas
Veröffentlicht: (2024)

Ehrenfeucht-Fraïssé Games for Continuous First-Order Logic
von: Hirvonen, Åsa, et al.
Veröffentlicht: (2024)

SB-property on metric structures
von: Argoty, Camilo, et al.
Veröffentlicht: (2023)

Sketches and Classifying Logoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

NIP and Distal Metric Structures
von: Anderson, Aaron
Veröffentlicht: (2023)

Uniqueness of constructible models in continuous logic
von: Hanson, James E.
Veröffentlicht: (2025)

Continuous logic in a classical setting
von: Agostini, Claudio, et al.
Veröffentlicht: (2024)

Approximation of structures:local and global
von: Zilber, Boris
Veröffentlicht: (2026)

Sites and Grothendieck toposes: an introduction
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Local stability in structures with a standard sort
von: Barbina, Silvia, et al.
Veröffentlicht: (2025)

Affine logic with the integration operator
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2026)

On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)

A computational method for left-adjointness
von: Forest, Simon
Veröffentlicht: (2024)

Games as recursive coalgebras: A categorical view on the Nim-sum
von: Hora, Ryuya
Veröffentlicht: (2025)