Dominik Kirst | DeepAI

DeepAI AI Chat

Featured Co-authors

Yannick Forster
10 publications
Dominique Larchey-Wendling
3 publications
Dominik Wehr
1 publication
Niklas Mück
1 publication
Marc Hermes
1 publication

∙ 07/28/2023

Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions

We develop synthetic notions of oracle computability and Turing reducibi...

0 Yannick Forster, et al. ∙

∙ 02/28/2023

An Analysis of Tennenbaum's Theorem in Constructive Type Theory

Tennenbaum's theorem states that the only countable model of Peano arith...

0 Marc Hermes, et al. ∙

∙ 04/29/2021

Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

We study finite first-order satisfiability (FSAT) in the constructive se...

0 Dominik Kirst, et al. ∙

∙ 06/08/2020

Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory (Extended Version)

We study various formulations of the completeness of first-order logic p...

0 Yannick Forster, et al. ∙

∙ 04/15/2020

Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory

We study finite first-order satisfiability (FSAT) in the constructive se...

0 Dominik Kirst, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world