Buchumschlag

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Takahashi, Yuta
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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)

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

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

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

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
von: Hermes, Marc, et al.
Veröffentlicht: (2023)

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)

Are Dependent Types in Set Theory Feasible?
von: Yang, Yunsong, et al.
Veröffentlicht: (2026)

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

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

The Groupoid-Syntax of Type Theory is a Set
von: Altenkirch, Thorsten, et al.
Veröffentlicht: (2025)

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)

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)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

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

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

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
von: Lichter, Moritz
Veröffentlicht: (2022)

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

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

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

Intersection Types via Finite-Set Declarations
von: Kamareddine, Fairouz, et al.
Veröffentlicht: (2024)

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

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

Universal Horn Sentences and the Joint Embedding Property
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2021)

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)

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

Hammering Higher Order Set Theory
von: Brown, Chad E., et al.
Veröffentlicht: (2025)

Open Horn Type Theory
von: Poernomo, Iman
Veröffentlicht: (2025)

Strong Measure Zero Sets on $2^κ$ for $κ$ Inaccessible
von: Chapman, Nick Steven, et al.
Veröffentlicht: (2019)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
von: Atserias, Albert, et al.
Veröffentlicht: (2024)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

Automating Boundary Filling in Cubical Type Theories
von: Doré, Maximilian, et al.
Veröffentlicht: (2024)

Nominal Type Theory by Nullary Internal Parametricity
von: Van Muylder, Antoine, et al.
Veröffentlicht: (2025)

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