Imagen de Portada

A Completeness Theorem for Topological Doctrines

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ghilardi, Silvio, Marquès, Jérémie
Formato:	Preprint
Publicado:	2025
Materias:	Category Theory Logic 03B45, 03G30, 03C80, 18F60
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

First-Order Modal Logic via Logical Categories
por: Ghilardi, Silvio, et al.
Publicado: (2025)

Toposes with enough points as categories of étale spaces
por: van Gool, Sam, et al.
Publicado: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
por: Awodey, S., et al.
Publicado: (2021)

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

A $j$-translation with Kripke forcing relation
por: Nakata, Satoshi
Publicado: (2026)

Poset-enriched pretoposes and compact ordered spaces
por: Marquès, Jérémie, et al.
Publicado: (2025)

Biased elementary doctrines and quotient completions
por: Cioffo, Cipriano Junior
Publicado: (2023)

Categorical structure in coherent theory of arithmetic
por: Ye, Lingyuan
Publicado: (2023)

Arrow algebras
por: Berg, Benno van den, et al.
Publicado: (2023)

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

Atomic Toposes with Co-Well-Founded Categories of Atoms
por: Marquès, Jérémie
Publicado: (2024)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
por: Spadetto, Matteo
Publicado: (2025)

Gödel coding on fibrations and geminal categories
por: Ikeda, Yuto
Publicado: (2026)

Non-Standard Models of Homotopy Type Theory
por: Rasekh, Nima
Publicado: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
por: Rasekh, Nima
Publicado: (2025)

On the theories classified by an étendue
por: Wrigley, Joshua
Publicado: (2025)

Craig Interpolation for Subgeometric Logics
por: Di Liberti, Ivan, et al.
Publicado: (2026)

The Sup Connective in IMALL: A Categorical Semantics
por: Díaz-Caro, Alejandro, et al.
Publicado: (2022)

Duality theory for categorical theories
por: Ye, Lingyuan
Publicado: (2026)

Extending conceptual completeness via virtual ultracategories
por: Saadia, Gabriel
Publicado: (2025)

Existentially closed models and locally zero-dimensional toposes
por: Kamsma, Mark, et al.
Publicado: (2024)

The biequivalence of path categories and axiomatic Martin-Löf type theories
por: Otten, Daniël, et al.
Publicado: (2025)

Blok-Esakia Theorems via Stable Canonical Rules
por: Bezhanishvili, Nick, et al.
Publicado: (2022)

A category of arrow algebras for modified realizability
por: Tarantino, Umberto
Publicado: (2024)

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

Topoi with enough points
por: Di Liberti, Ivan, et al.
Publicado: (2024)

Skolem, Gödel, and Hilbert fibrations
por: Trotta, Davide, et al.
Publicado: (2024)

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

Connectedness through decidable quotients
por: Hernández, Enrique Ruiz, et al.
Publicado: (2023)

Generalised ultracategories and conceptual completeness of geometric logic
por: Hamad, Ali
Publicado: (2025)

A minimalist two-level foundation for constructive mathematics
por: Maietti, Maria Emilia
Publicado: (2008)

More conservativity for weak Kőnig's lemma
por: Freund, Anton, et al.
Publicado: (2024)

On the Existence and Disjunction Properties in Structural Set Theory
por: Saving, Mark
Publicado: (2023)

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

Freely adding one layer of quantifiers to a Boolean doctrine
por: Abbadini, Marco, et al.
Publicado: (2024)

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

Two strong undefinability results in inquisitive and team semantics
por: Barbero, Fausto
Publicado: (2024)

Bi-directional models of `radically synthetic' differential geometry
por: Menni, Matías
Publicado: (2024)

A universal characterization of standard Borel spaces
por: Chen, Ruiyuan
Publicado: (2019)

Lifting independence along functors
por: Kamsma, Mark, et al.
Publicado: (2024)