Buchumschlag

Skolem, Gödel, and Hilbert fibrations

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Trotta, Davide, Weinberger, Jonathan, de Paiva, Valeria
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Category Theory 18D30, 03G30, 03F03 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Gödel coding on fibrations and geminal categories
von: Ikeda, Yuto
Veröffentlicht: (2026)

On a fibrational construction for optics, lenses, and Dialectica categories
von: Capucci, Matteo, et al.
Veröffentlicht: (2024)

Stack Representation of Finitely Presented Heyting Pretoposes I
von: Ye, Lingyuan
Veröffentlicht: (2024)

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

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

Homological Invariants of Higher-Order Equational Theories
von: Ikebuchi, Mirai
Veröffentlicht: (2025)

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

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
von: Vodrazka, Daniel
Veröffentlicht: (2025)

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

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

A $j$-translation with Kripke forcing relation
von: Nakata, Satoshi
Veröffentlicht: (2026)

Toposes with enough points as categories of étale spaces
von: van Gool, Sam, et al.
Veröffentlicht: (2025)

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

The reverse mathematics of the pigeonhole hierarchy
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Serial Properties, Selector Proofs, and the Provability of Consistency
von: Artemov, Sergei
Veröffentlicht: (2024)

Non-Compact Proofs
von: Artemov, Sergei
Veröffentlicht: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
von: Artemov, Sergei
Veröffentlicht: (2025)

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

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2025)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

On the computational properties of ambivalent sets and functions
von: Normann, Dag, et al.
Veröffentlicht: (2026)

Quotients, pure existential completions and arithmetic universes
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)

Forcing as a Local Method of Accessing Small Extensions
von: Lau, Desmond
Veröffentlicht: (2024)

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

Remarks on Primitive Regulation
von: Rosko, Milan
Veröffentlicht: (2026)

On the Existence and Disjunction Properties in Structural Set Theory
von: Saving, Mark
Veröffentlicht: (2023)

Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
von: Sukhov, Dmytro
Veröffentlicht: (2025)

Poset-enriched pretoposes and compact ordered spaces
von: Marquès, Jérémie, et al.
Veröffentlicht: (2025)

Linear Orders in Presburger Arithmetic
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2022)

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

$Sh(B)$-valued models of $(κ,κ)$-coherent categories
von: Kanalas, Kristóf
Veröffentlicht: (2023)

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

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

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data
von: Alpay, Faruk
Veröffentlicht: (2025)

Coherence for logicians
von: Petric, Zoran, et al.
Veröffentlicht: (2024)

Smooth and Proper Maps
von: Anel, Mathieu, et al.
Veröffentlicht: (2024)

Generalized Chevalley criteria in simplicial homotopy type theory
von: Weinberger, Jonathan
Veröffentlicht: (2024)

Generalised ultracategories and conceptual completeness of geometric logic
von: Hamad, Ali
Veröffentlicht: (2025)

A comonad for Grothendieck fibrations
von: Emmenegger, Jacopo, et al.
Veröffentlicht: (2023)