| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7238889 (Why is no real title available?) | 2020-08-25 | Paper |
A note on the internal logic of constructive mathematics: the Gel'fond-Schneider theorem in transcendental number theory
Studies in Universal Logic | 2017-08-28 | Paper |
Towards an arithmetical logic. The arithmetical foundations of logic
Studies in Universal Logic | 2015-07-29 | Paper |
| Kronecker in contemporary mathematics, general arithmetic as a foundational programme | 2014-04-25 | Paper |
A general no-cloning theorem for an infinite multiverse
Reports on Mathematical Physics | 2014-04-24 | Paper |
Hilbert's idea of a physical axiomatics: the analytical apparatus of quantum mechanics
Journal of Physical Mathematics | 2013-06-07 | Paper |
| Hilbert programme and applied proof theory | 2011-07-27 | Paper |
Hermann Minkowski: From geometry of numbers to physical geometry
Minkowski Spacetime: A Hundred Years Later | 2011-04-05 | Paper |
| scientific article; zbMATH DE number 5652610 (Why is no real title available?) | 2010-01-04 | Paper |
The construction of chaos theory
Foundations of Science | 2009-12-11 | Paper |
Hermann Weyl on Minkowskian Space–Time and Riemannian Geometry
International Studies in the Philosophy of Science | 2006-05-22 | Paper |
Internal logic. Foundations of mathematics from Kronecker to Hilbert
Synthese Library | 2003-07-03 | Paper |
| scientific article; zbMATH DE number 1786561 (Why is no real title available?) | 2003-02-06 | Paper |
| scientific article; zbMATH DE number 1743775 (Why is no real title available?) | 2002-05-22 | Paper |
| scientific article; zbMATH DE number 1471977 (Why is no real title available?) | 2001-03-22 | Paper |
| scientific article; zbMATH DE number 1458583 (Why is no real title available?) | 2000-06-14 | Paper |
La logique interne de la théorie des probabilités
Dialogue | 1999-06-17 | Paper |
Hilbert and the internal logic of mathematics
Synthese | 1995-02-09 | Paper |
Finite Arithmetic with Infinite Descent
Dialectica | 1989-01-01 | Paper |
A theory of local negation: The model and some applications
Archiv für Mathematische Logik und Grundlagenforschung | 1985-01-01 | Paper |
Quantum mechanics and the local observer
International Journal of Theoretical Physics | 1983-01-01 | Paper |
Foundational problems of number theory
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3595147 (Why is no real title available?) | 1978-01-01 | Paper |
Intuitionistic Logic and Local Mathematical Theories
Mathematical Logic Quarterly | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3563043 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3621688 (Why is no real title available?) | 1976-01-01 | Paper |
