Buchumschlag

Constructive Ordinal Exponentiation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	de Jong, Tom, Kraus, Nicolai, Forsberg, Fredrik Nordvall, Xu, Chuangjie
Format:	Preprint
Veröffentlicht:	2025
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

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

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

Formalizing equivalences without tears
von: de Jong, Tom
Veröffentlicht: (2024)

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

DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments
von: Bryce, Aaron, et al.
Veröffentlicht: (2026)

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

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

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

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

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

A Dichotomy Theorem for Ordinal Ranks in MSO
von: Niwiński, Damian, et al.
Veröffentlicht: (2025)

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

Ordinal measures of the set of finite multisets
von: Vialard, Isa
Veröffentlicht: (2023)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Relational semantics for flat Heyting-Lewis Logic
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

Satisfiability Modulo Exponential Integer Arithmetic
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

Intrinsic and relative characterization results for logics with negative modalities
von: de Groot, Jim, et al.
Veröffentlicht: (2025)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
von: de Groot, Jim, et al.
Veröffentlicht: (2021)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
von: de Groot, Jim, et al.
Veröffentlicht: (2024)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
von: Fuchser, Janne, et al.
Veröffentlicht: (2025)

Optimization Modulo Integer Linear-Exponential Programs
von: Hitarth, S, et al.
Veröffentlicht: (2025)

Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
von: Bruse, Florian, et al.
Veröffentlicht: (2025)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
von: Chistikov, Dmitry, 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 study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
von: Hansen, Helle Hvid, et al.
Veröffentlicht: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
von: Ayhan, Sara, et al.
Veröffentlicht: (2025)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

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

An abstract fixed-point theorem for Horn formula equations
von: Hetzl, Stefan, et al.
Veröffentlicht: (2025)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

Shininess, strong politeness, and unicorns
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Proofs that Modify Proofs, 1/2
von: Towsner, Henry
Veröffentlicht: (2025)