Buchumschlag

A $j$-translation with Kripke forcing relation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Nakata, Satoshi
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic Category Theory 03F55, 03B16, 03G30, 18B25
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)

Arrow algebras
von: Berg, Benno van den, et al.
Veröffentlicht: (2023)

Biased elementary doctrines and quotient completions
von: Cioffo, Cipriano Junior
Veröffentlicht: (2023)

A category of arrow algebras for modified realizability
von: Tarantino, Umberto
Veröffentlicht: (2024)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

Connectedness through decidable quotients
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2023)

A Completeness Theorem for Topological Doctrines
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

Existentially closed models and locally zero-dimensional toposes
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Bi-directional models of `radically synthetic' differential geometry
von: Menni, Matías
Veröffentlicht: (2024)

A minimalist two-level foundation for constructive mathematics
von: Maietti, Maria Emilia
Veröffentlicht: (2008)

Categorical structure in coherent theory of arithmetic
von: Ye, Lingyuan
Veröffentlicht: (2023)

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

A Note on Los's Theorem for Kripke-Joyal Semantics
von: Aiguier, Marc, et al.
Veröffentlicht: (2024)

The étendue of a combinatorial space and its dimension
von: Menni, Matí as
Veröffentlicht: (2024)

Tininess and right adjoints to exponentials
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2026)

Topoi with enough points
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

Logical Structure on Inverse Functor Categories
von: Fiore, Marcelo, et al.
Veröffentlicht: (2024)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
von: Oddsson, Hrafn Valtýr
Veröffentlicht: (2026)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
von: Gilson, Frank
Veröffentlicht: (2025)

Bochvar algebras: A categorical equivalence and the generated variety
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

Sites and Grothendieck toposes: an introduction
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Atomic Toposes with Co-Well-Founded Categories of Atoms
von: Marquès, Jérémie
Veröffentlicht: (2024)

Non-singular maps in toposes with a local state classifier
von: Menni, Matí as
Veröffentlicht: (2025)

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

Skolem, Gödel, and Hilbert fibrations
von: Trotta, Davide, et al.
Veröffentlicht: (2024)

The Gamified Katětov order is not linear (in fact, very much not so)
von: Kihara, Takayuki, et al.
Veröffentlicht: (2026)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
von: Inoué, Takao
Veröffentlicht: (2026)

Stratified Toposes
von: Zwanziger, Colin
Veröffentlicht: (2024)

Herbrandized modified realizability
von: Ferreira, Gilda, et al.
Veröffentlicht: (2024)

Internal 1-topoi in 2-topoi
von: Helfer, Joseph
Veröffentlicht: (2024)

Projective Presentations of Lex Modalities
von: Williams, Mark Damuni
Veröffentlicht: (2025)

Freely adding one layer of quantifiers to a Boolean doctrine
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

The free bifibration on a functor
von: Clarke, Bryce, et al.
Veröffentlicht: (2025)

Makkai's lost proof of projectivity of N in the free topos
von: Forssell, Henrik, et al.
Veröffentlicht: (2026)

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)