Person:6099612
From MaRDI portal
Available identifiers
zbMath Open hermes.marcMaRDI QIDQ6099612
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| 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 |
| An Analysis of Tennenbaum's Theorem in Constructive Type Theory | 0001-01-03 | 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:
