Marc Hermes
YOU?
Author Swipe
View article: An Analysis of Tennenbaum's Theorem in Constructive Type Theory
An Analysis of Tennenbaum's Theorem in Constructive Type Theory Open
Tennenbaum's theorem states that the only countable model of Peano arithmetic (PA) with computable arithmetical operations is the standard model of natural numbers. In this paper, we use constructive type theory as a framework to revisit, …
View article: Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq Open
We mechanise the undecidability of various first-order axiom systems in Coq, employing the synthetic approach to computability underlying the growing Coq Library of Undecidability Proofs. Concretely, we cover both semantic and deductive en…
View article: An Analysis of Tennenbaum's Theorem in Constructive Type Theory
An Analysis of Tennenbaum's Theorem in Constructive Type Theory Open
Tennenbaum's theorem states that the only countable model of Peano arithmetic (PA) with computable arithmetical operations is the standard model of natural numbers. In this paper, we use constructive type theory as a framework to revisit, …
View article: A Coq Library for Mechanised First-Order Logic
A Coq Library for Mechanised First-Order Logic Open
International audience
View article: Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq Open
We mechanise the undecidability of various first-order axiom systems in Coq, employing the synthetic approach to computability underlying the growing Coq Library of Undecidability Proofs. Concretely, we cover both semantic and deductive en…
View article: Influence of Schneiderian Membrane Perforations on the Prognosis and Outcomes of Lateral Window Sinus Lift Operations: A Retrospective Case Series Study
Influence of Schneiderian Membrane Perforations on the Prognosis and Outcomes of Lateral Window Sinus Lift Operations: A Retrospective Case Series Study Open
Introduction: This study analyzed the influence of Schneiderian membrane perforations covered with collagen membranes on the success of augmentation and implantation as well as the influences of smoking, radiation and chemotherapy. Patient…