Buchumschlag

An Analysis of Tennenbaum's Theorem in Constructive Type Theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hermes, Marc, Kirst, Dominik
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
von: Kirst, Dominik, et al.
Veröffentlicht: (2026)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

From Partial to Monadic: Combinatory Algebra with Effects
von: Cohen, Liron, et al.
Veröffentlicht: (2025)

Syntactic Effectful Realizability in Higher-Order Logic
von: Cohen, Liron, et al.
Veröffentlicht: (2025)

Primitive Recursive Dependent Type Theory
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
von: Ma, Zhifeng, et al.
Veröffentlicht: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
von: Geuvers, Herman
Veröffentlicht: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
von: Qu, Zhuoyuan
Veröffentlicht: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
von: Livson, Ori, et al.
Veröffentlicht: (2025)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
von: Sabelli, Pietro
Veröffentlicht: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
von: Takahashi, Yuta
Veröffentlicht: (2024)

A Judgmental Construction of Directed Type Theory
von: Neumann, Jacob
Veröffentlicht: (2025)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2025)

Groupoidal Realizability for Intensional Type Theory
von: Speight, Sam
Veröffentlicht: (2024)

Coslice Colimits in Homotopy Type Theory
von: Hart, Perry, et al.
Veröffentlicht: (2024)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
von: Bezem, Marc, et al.
Veröffentlicht: (2026)

Unravelling Cyclic First-Order Arithmetic
von: Leigh, Graham E., et al.
Veröffentlicht: (2025)

Constructive Ordinal Exponentiation
von: de Jong, Tom, et al.
Veröffentlicht: (2025)

Constructive Quantum Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

On Small Types in Univalent Foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2021)

A No-go Theorem for Coalgebraic Product Construction
von: Kori, Mayuko, et al.
Veröffentlicht: (2025)

Constructive higher sheaf models with applications to synthetic mathematics
von: Coquand, Thierry, et al.
Veröffentlicht: (2026)

Basis-Sensitive Quantum Typing via Realisability
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
von: Nechesov, Andrey
Veröffentlicht: (2024)

The Pebble-Relation Comonad in Finite Model Theory
von: Montacute, Yoàv, et al.
Veröffentlicht: (2021)

Characterizing Sets of Theories That Can Be Disjointly Combined
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Universal Proof Theory, TACL 2022 Lecture Notes
von: Iemhoff, Rosalie, et al.
Veröffentlicht: (2023)

Proof Theory and Decision Procedures for Deontic STIT Logics
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)