| Publication | Date of Publication | Type |
|---|
Kant on `number'
| 2022-02-25 | Paper |
What Hilbert and Bernays meant by ``finitism
Philosophy of Logic and Mathematics | 2020-08-21 | Paper |
On the computability of the fan functional
Outstanding Contributions to Logic | 2020-02-05 | Paper |
First-order logic without bound variables: compositional semantics
Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
Gentzen's original consistency proof and the bar theorem
Gentzen's Centenary | 2017-09-27 | Paper |
Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
Epistemology versus Ontology | 2015-06-05 | Paper |
The substitution method revisited
| 2011-05-31 | Paper |
Gödel on intuition and on Hilbert's finitism
| 2011-03-02 | Paper |
scientific article; zbMATH DE number 5859775 (Why is no real title available?)
| 2011-03-02 | Paper |
Godel's interpretation of intuitionism
Philosophia Mathematica | 2007-02-13 | Paper |
Noēsis: Plato on exact science
| 2006-11-16 | Paper |
Proof-theoretic semantics for classical mathematics
Synthese | 2006-08-18 | Paper |
Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
The Bulletin of Symbolic Logic | 2006-02-08 | Paper |
scientific article; zbMATH DE number 2168558 (Why is no real title available?)
| 2005-05-18 | Paper |
The completeness of Heyting first-order logic
Journal of Symbolic Logic | 2005-02-09 | Paper |
scientific article; zbMATH DE number 1870429 (Why is no real title available?)
| 2003-02-18 | Paper |
Beyond the axioms: The question of objectivity in mathematics
Philosophia Mathematica. Series III | 2002-09-05 | Paper |
Gödel's unpublished papers on foundations of mathematics
Philosophia Mathematica. Series III | 2002-07-18 | Paper |
Cantor's \textit{Grundlagen} and the paradoxes of set theory
| 2002-03-17 | Paper |
Extensional equality in the classical theory of types
| 2001-07-24 | Paper |
scientific article; zbMATH DE number 1301817 (Why is no real title available?)
| 2000-05-02 | Paper |
scientific article; zbMATH DE number 1302066 (Why is no real title available?)
| 2000-02-15 | Paper |
scientific article; zbMATH DE number 1335685 (Why is no real title available?)
| 1999-09-13 | Paper |
scientific article; zbMATH DE number 1254495 (Why is no real title available?)
| 1999-07-06 | Paper |
Against intuitionism: Constructive mathematics is part of classical mathematics
Journal of Philosophical Logic | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3513750 (Why is no real title available?)
| 1975-01-01 | Paper |
A gauge theory of the Weyl group
Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3440411 (Why is no real title available?)
| 1971-01-01 | Paper |
Coupling of de Sitter Space-Time and Internal Symmetry
Journal of Mathematical Physics | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3365211 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3327279 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3304062 (Why is no real title available?)
| 1968-01-01 | Paper |
Intensional interpretations of functionals of finite type I
Journal of Symbolic Logic | 1967-01-01 | Paper |
A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
Bulletin of the American Mathematical Society | 1966-01-01 | Paper |
Functionals defined by transfinite recursion
Journal of Symbolic Logic | 1965-01-01 | Paper |
scientific article; zbMATH DE number 3247154 (Why is no real title available?)
| 1965-01-01 | Paper |
The substitution method
Journal of Symbolic Logic | 1965-01-01 | Paper |
scientific article; zbMATH DE number 3329894 (Why is no real title available?)
| 1961-01-01 | Paper |
Nested recursion
Mathematische Annalen | 1961-01-01 | Paper |
Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi
Mathematical Logic Quarterly | 1961-01-01 | Paper |
A counterexample to a conjecture of Scott and Suppes
Journal of Symbolic Logic | 1959-01-01 | Paper |
