Dominik Kirst

Available identifiers

zbMath Open kirst.dominikMaRDI QIDQ1687748

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dominik Kirst