Imagen de Portada

A Note on Los's Theorem for Kripke-Joyal Semantics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Aiguier, Marc, Pascual, Romain
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science 03G30, 03C20, 03C95, 18B25
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Logic families
por: Andréka, H., et al.
Publicado: (2023)

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

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

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

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

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

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

Positive indiscernibles
por: Kamsma, Mark
Publicado: (2023)

Variants of Łoś's Theorem
por: Usuba, Toshimichi
Publicado: (2025)

Hierarchies of direct powers, ultrapowers and cumulative powers
por: Yago, Pedro Teixeira
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Uniform Interpolation
por: van Gool, Sam
Publicado: (2025)

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

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

Interpolation in model theory
por: Väänänen, Jouko
Publicado: (2025)

Domination, fibrations and splitting
por: Eagles, Christine, et al.
Publicado: (2025)

Imaginaries, products and the adele ring
por: Derakhshan, Jamshid, et al.
Publicado: (2023)

Cartagena Logic
por: Kivimäki, Siiri, et al.
Publicado: (2021)

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

Model-theoretic characterizations of large cardinals (Re)${}^2$visited
por: Boney, Will, et al.
Publicado: (2025)

Model theory of class-sized logics
por: Osinski, Jonathan, et al.
Publicado: (2026)

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

Interpolation and the Exchange Rule
por: Fussner, Wesley, et al.
Publicado: (2023)

On Some Infinitary Logics
por: Vaananen, Jouko, et al.
Publicado: (2024)

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

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