Saved in:
| Main Author: | Hrushovski, Ehud |
|---|---|
| Format: | Preprint |
| Published: |
2006
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/math/0603413 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On first order amenability
by: Hrushovski, Ehud, et al.
Published: (2020)
by: Hrushovski, Ehud, et al.
Published: (2020)
Hilbert spaces admit no finitary discrete imaginaries
by: Chen, Ruiyuan, et al.
Published: (2025)
by: Chen, Ruiyuan, et al.
Published: (2025)
Imaginaries, products and the adele ring
by: Derakhshan, Jamshid, et al.
Published: (2023)
by: Derakhshan, Jamshid, et al.
Published: (2023)
Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026)
by: Ye, Lingyuan
Published: (2026)
On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022)
by: van Gool, Sam, et al.
Published: (2022)
Quotients, pure existential completions and arithmetic universes
by: Maietti, Maria Emilia, et al.
Published: (2023)
by: Maietti, Maria Emilia, et al.
Published: (2023)
Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)
by: Ye, Lingyuan
Published: (2026)
Bundles of metric structures as left ultrafunctors
by: Hamad, Ali
Published: (2024)
by: Hamad, Ali
Published: (2024)
Lifting independence along functors
by: Kamsma, Mark, et al.
Published: (2024)
by: Kamsma, Mark, et al.
Published: (2024)
Revisiting virtual difference ideals
by: Chatzidakis, Zoé, et al.
Published: (2016)
by: Chatzidakis, Zoé, et al.
Published: (2016)
Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)
by: Frey, Jonas
Published: (2023)
Double-functorial representation of regular monoidal structures
by: Siqueira, José
Published: (2025)
by: Siqueira, José
Published: (2025)
Predicates and terms from non-standard sequences
by: Zhuravlov, V. M.
Published: (2023)
by: Zhuravlov, V. M.
Published: (2023)
Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)
by: Speight, Sam
Published: (2024)
Many-valued aspects of tense an related operators
by: Botur, Michal, et al.
Published: (2025)
by: Botur, Michal, et al.
Published: (2025)
A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)
by: Ghilardi, Silvio, et al.
Published: (2025)
Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)
by: Frey, Jonas
Published: (2024)
Domains and Classifying Topoi
by: Sterling, Jonathan, et al.
Published: (2025)
by: Sterling, Jonathan, et al.
Published: (2025)
NSOP$_1$-like independence in AECats
by: Kamsma, Mark
Published: (2021)
by: Kamsma, Mark
Published: (2021)
Algebraic Type Theory, Part 1: Martin-Löf algebras
by: Awodey, Steve
Published: (2025)
by: Awodey, Steve
Published: (2025)
On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)
by: Hernández, Enrique Ruiz, et al.
Published: (2021)
Non-locally modular regular types in classifiable theories
by: Bouscaren, Elisabeth, et al.
Published: (2019)
by: Bouscaren, Elisabeth, et al.
Published: (2019)
Lang-Weil Type Estimates in Finite Difference Fields
by: Hils, Martin, et al.
Published: (2024)
by: Hils, Martin, et al.
Published: (2024)
A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)
by: Chen, Ruiyuan
Published: (2019)
A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)
by: Maschio, Samuele, et al.
Published: (2025)
Evolution systems: A framework for studying generic mathematical structures
by: Kubiś, Wiesław, et al.
Published: (2021)
by: Kubiś, Wiesław, et al.
Published: (2021)
A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
by: Lambert, Michael J.
Published: (2024)
by: Lambert, Michael J.
Published: (2024)
Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)
by: Ye, Lingyuan
Published: (2023)
Model theory in compactly generated (tensor-)triangulated categories
by: Prest, Mike, et al.
Published: (2023)
by: Prest, Mike, et al.
Published: (2023)
Bochvar algebras: A categorical equivalence and the generated variety
by: Bonzio, Stefano, et al.
Published: (2024)
by: Bonzio, Stefano, et al.
Published: (2024)
The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)
by: Díaz-Caro, Alejandro, et al.
Published: (2022)
Games as recursive coalgebras: A categorical view on the Nim-sum
by: Hora, Ryuya
Published: (2025)
by: Hora, Ryuya
Published: (2025)
One dimensional commutative groups definable in algebraically closed valued fields and in the pseudo-local fields
by: Acosta, Juan Pablo, et al.
Published: (2021)
by: Acosta, Juan Pablo, et al.
Published: (2021)
Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)
by: Kapulkin, Chris, et al.
Published: (2023)
Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)
by: Ikebuchi, Mirai
Published: (2025)
Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)
by: Ye, Lingyuan
Published: (2024)
A category of arrow algebras for modified realizability
by: Tarantino, Umberto
Published: (2024)
by: Tarantino, Umberto
Published: (2024)
Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)
by: Gruszczyński, Rafał, et al.
Published: (2025)
On a new theory of models for formal mathematical systems
by: Kunik, Matthias
Published: (2026)
by: Kunik, Matthias
Published: (2026)
On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)
by: Kunik, Matthias
Published: (2024)
Similar Items
-
On first order amenability
by: Hrushovski, Ehud, et al.
Published: (2020) -
Hilbert spaces admit no finitary discrete imaginaries
by: Chen, Ruiyuan, et al.
Published: (2025) -
Imaginaries, products and the adele ring
by: Derakhshan, Jamshid, et al.
Published: (2023) -
Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026) -
On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022)