Cover Image

Existentially closed models and locally zero-dimensional toposes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kamsma, Mark, Wrigley, Joshua
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic 03G30 (primary) 03B20, 03B22, 18B25, 18C10 (secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Existential completions and Herbrand's theorem
by: Wrigley, Joshua L.
Published: (2025)

Sites and Grothendieck toposes: an introduction
by: Caramello, Olivia, et al.
Published: (2025)

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

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

The representing localic groupoid for a geometric theory
by: Manuell, Graham, et al.
Published: (2023)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

On topological groupoids that represent theories
by: Wrigley, Joshua
Published: (2023)

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

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

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

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

The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)

Generation of Grothendieck topologies, provability and operations on subtoposes
by: Caramello, Olivia, et al.
Published: (2025)

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

Non-singular maps in toposes with a local state classifier
by: Menni, Matí as
Published: (2025)

Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)

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

Topoi with enough points and topological groupoids
by: Wrigley, Joshua
Published: (2024)

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

A Note on Los's Theorem for Kripke-Joyal Semantics
by: Aiguier, Marc, et al.
Published: (2024)

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)

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

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

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

The algebraic internal groupoid model of Martin-Löf type theory
by: Hughes, Calum
Published: (2025)

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

Hochschild cohomology in toposes
by: Michie, Cameron, et al.
Published: (2024)

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

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

Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
by: Coniglio, Marcelo E., et al.
Published: (2025)

Tininess and right adjoints to exponentials
by: Hernández, Enrique Ruiz, et al.
Published: (2026)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
by: Inoué, Takao
Published: (2026)

Ultracategories via Kan extensions of relative monads
by: Tarantino, Umberto, et al.
Published: (2025)

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

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

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

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

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)