Image de couverture de livre

Gödel coding on fibrations and geminal categories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Ikeda, Yuto
Format:	Preprint
Publié:	2026
Sujets:	Logic Logic in Computer Science Category Theory 03G30 (Primary) 03F40, 03F45, 18D30, 18D40, 18C10 (Secondary) F.4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Skolem, Gödel, and Hilbert fibrations
par: Trotta, Davide, et autres
Publié: (2024)

The biequivalence of path categories and axiomatic Martin-Löf type theories
par: Otten, Daniël, et autres
Publié: (2025)

On a fibrational construction for optics, lenses, and Dialectica categories
par: Capucci, Matteo, et autres
Publié: (2024)

Forcing as a Local Method of Accessing Small Extensions
par: Lau, Desmond
Publié: (2024)

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

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

Kripke-Joyal forcing for type theory and uniform fibrations
par: Awodey, S., et autres
Publié: (2021)

Toposes with enough points as categories of étale spaces
par: van Gool, Sam, et autres
Publié: (2025)

Arrow algebras
par: Berg, Benno van den, et autres
Publié: (2023)

A Completeness Theorem for Topological Doctrines
par: Ghilardi, Silvio, et autres
Publié: (2025)

A topos for extended Weihrauch degrees
par: Maschio, Samuele, et autres
Publié: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
par: Vodrazka, Daniel
Publié: (2025)

Logic and Concepts in the 2-category of Topoi
par: Di Liberti, Ivan, et autres
Publié: (2025)

Two-dimensional Kripke Semantics II: Stability and Completeness
par: Kavvos, G. A.
Publié: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
par: Weinberger, Jonathan
Publié: (2022)

Poset-enriched pretoposes and compact ordered spaces
par: Marquès, Jérémie, et autres
Publié: (2025)

The elementary theory of the 2-category of small categories
par: Hughes, Calum, et autres
Publié: (2024)

The free bifibration on a functor
par: Clarke, Bryce, et autres
Publié: (2025)

Two-dimensional Kripke Semantics I: Presheaves
par: Kavvos, G. A.
Publié: (2024)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
par: Maietti, Maria Emilia, et autres
Publié: (2025)

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

Generalised ultracategories and conceptual completeness of geometric logic
par: Hamad, Ali
Publié: (2025)

Topoi with enough points
par: Di Liberti, Ivan, et autres
Publié: (2024)

Categorical structure in coherent theory of arithmetic
par: Ye, Lingyuan
Publié: (2023)

Stack Representation of Finitely Presented Heyting Pretoposes I
par: Ye, Lingyuan
Publié: (2024)

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
par: Nunes, Fernando Lucatelli, et autres
Publié: (2024)

The reverse mathematics of the pigeonhole hierarchy
par: Houérou, Quentin Le, et autres
Publié: (2024)

Biased elementary doctrines and quotient completions
par: Cioffo, Cipriano Junior
Publié: (2023)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
par: Walsh, Sean
Publié: (2024)

Remarks on Primitive Regulation
par: Rosko, Milan
Publié: (2026)

Effective inseparability and some applications in meta-mathematics
par: Cheng, Yong
Publié: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
par: Cheng, Yong
Publié: (2023)

The limitless First Incompleteness Theorem
par: Cheng, Yong
Publié: (2021)

Loops, Inverse Limits and Non-Determinism
par: Brattka, Vasco
Publié: (2025)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
par: Lau, Desmond
Publié: (2024)

Smooth and Proper Maps
par: Anel, Mathieu, et autres
Publié: (2024)

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

Craig Interpolation for Subgeometric Logics
par: Di Liberti, Ivan, et autres
Publié: (2026)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
par: Mancosu, Paolo, et autres
Publié: (2023)

A $j$-translation with Kripke forcing relation
par: Nakata, Satoshi
Publié: (2026)