:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Aiguier, Marc, Pascual, Romain
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science 03G30, 03C20, 03C95, 18B25
Online Access:	https://arxiv.org/abs/2411.11766
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Logic families
by: Andréka, H., et al.
Published: (2023)

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

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

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

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

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

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

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

Variants of Łoś's Theorem
by: Usuba, Toshimichi
Published: (2025)

Abstract Model Structures and Compactness Theorems
by: Roy, Sayantan, et al.
Published: (2025)

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

Hierarchies of direct powers, ultrapowers and cumulative powers
by: Yago, Pedro Teixeira
Published: (2026)

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

Generalized Explosion Principles: A Semantic Perspective
by: Basu, Sankha S., et al.
Published: (2025)

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

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)

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

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

On the undefinability of pathological Banach spaces
by: Hamel, Clovis, et al.
Published: (2024)

A note on Łoś's Theorem without the Axiom of Choice
by: Usuba, Toshimichi
Published: (2023)

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

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

Retractors in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

Completeness in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

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

Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)

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

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

Profunctorial algebras
by: Aristote, Quentin, et al.
Published: (2026)

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

Some NIP-like phenomena in NTP$_{2}$
by: Kaplan, Itay, et al.
Published: (2017)

A note on transfer maps and the Morley product in NIP theories
by: Gannon, Kyle
Published: (2024)

Compactness in Team Semantics
by: Puljujärvi, Joni, et al.
Published: (2022)

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

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

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

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