Dominik Kirst

Available identifiers

zbMath Open kirst.dominikMaRDI QIDQ1687748

List of research outcomes

Publication	Date of Publication	Type
Material dialogues for first-order logic in constructive type theory: extended version	2024-11-29	Paper
Gödel's theorem without tears -- essential incompleteness in synthetic computability	2024-09-25	Paper
Undecidability of dyadic first-order logic in Coq	2024-07-15	Paper
Computational back-and-forth arguments in constructive type theory	2024-07-15	Paper
An analysis of Tennenbaum's theorem in constructive type theory	2024-06-27	Paper
An analysis of Tennenbaum's theorem in constructive type theory	2024-05-27	Paper
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions	2023-07-28	Paper
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq	2023-06-20	Paper
Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version	2023-06-14	Paper
Material dialogues for first-order logic in constructive type theory	2023-06-02	Paper
Constructive and mechanised meta-theory of IEL and similar modal logics	2023-01-04	Paper
Trakhtenbrot’s Theorem in Coq	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5094147	2022-08-02	Paper
Constructive and mechanised meta-theory of intuitionistic epistemic logic	2022-07-01	Paper
Completeness theorems for first-order logic analysed in constructive type theory	2022-02-08	Paper
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens	2021-04-29	Paper
Completeness theorems for first-order logic analysed in constructive type theory	2020-05-06	Paper
Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory	2020-04-15	Paper
Categoricity results and large model constructions for second-order ZF in dependent type theory	2019-08-21	Paper
Categoricity results for second-order ZF in dependent type theory	2018-01-04	Paper
An Analysis of Tennenbaum's Theorem in Constructive Type Theory	N/A	Paper

Research outcomes over time

This page was built for person: Dominik Kirst