:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Hrushovski, Ehud
Format:	Preprint
Published:	2006
Subjects:	Logic Category Theory 03C07
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)

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)

Quotients, pure existential completions and arithmetic universes
by: Maietti, Maria Emilia, et al.
Published: (2023)

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

Bundles of metric structures as left ultrafunctors
by: Hamad, Ali
Published: (2024)

Lifting independence along functors
by: Kamsma, Mark, et al.
Published: (2024)

Revisiting virtual difference ideals
by: Chatzidakis, Zoé, et al.
Published: (2016)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)

Double-functorial representation of regular monoidal structures
by: Siqueira, José
Published: (2025)

Predicates and terms from non-standard sequences
by: Zhuravlov, V. M.
Published: (2023)

Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)

Many-valued aspects of tense an related operators
by: Botur, Michal, et al.
Published: (2025)

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

Domains and Classifying Topoi
by: Sterling, Jonathan, et al.
Published: (2025)

NSOP$_1$-like independence in AECats
by: Kamsma, Mark
Published: (2021)

Algebraic Type Theory, Part 1: Martin-Löf algebras
by: Awodey, Steve
Published: (2025)

On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)

Non-locally modular regular types in classifiable theories
by: Bouscaren, Elisabeth, et al.
Published: (2019)

Lang-Weil Type Estimates in Finite Difference Fields
by: Hils, Martin, et al.
Published: (2024)

A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)

A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)

Evolution systems: A framework for studying generic mathematical structures
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)

Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)

Model theory in compactly generated (tensor-)triangulated categories
by: Prest, Mike, et al.
Published: (2023)

Bochvar algebras: A categorical equivalence and the generated variety
by: Bonzio, Stefano, et al.
Published: (2024)

The Sup Connective in IMALL: A Categorical Semantics
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)

One dimensional commutative groups definable in algebraically closed valued fields and in the pseudo-local fields
by: Acosta, Juan Pablo, et al.
Published: (2021)

Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)

Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)

Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)

A category of arrow algebras for modified realizability
by: Tarantino, Umberto
Published: (2024)

Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)

On a new theory of models for formal mathematical systems
by: Kunik, Matthias
Published: (2026)

On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)