| Publication | Date of Publication | Type |
|---|
Logical hygiene, foundations, and abstractions: diversity among aspects and options
| 2013-10-29 | Paper |
Second thoughts around some of Gödel's writings: A non-academic option
Synthese | 2000-04-25 | Paper |
On the idea(l) of logical closure
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
scientific article; zbMATH DE number 4132118 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4085596 (Why is no real title available?)
| 1988-01-01 | Paper |
Church's thesis and the ideal of informal rigour
Notre Dame Journal of Formal Logic | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3916263 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3825797 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3786775 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3726340 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3739486 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3788614 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3630746 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3700825 (Why is no real title available?)
| 1979-01-01 | Paper |
Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt
Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3685488 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3643255 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3655929 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3523535 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3632424 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3570417 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3497842 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3506654 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3525107 (Why is no real title available?)
| 1974-01-01 | Paper |
A notion of mechanistic theory
Synthese | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3526630 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3377188 (Why is no real title available?)
| 1972-01-01 | Paper |
Which number theoretic problems can be solved in recursive progressions on Π11-paths through O?
Journal of Symbolic Logic | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3348085 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3360143 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3348095 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3341966 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3328138 (Why is no real title available?)
| 1970-01-01 | Paper |
Formal systems for some branches of intuitionistic analysis
Annals of Mathematical Logic | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3317730 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3311729 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3330710 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3300585 (Why is no real title available?)
| 1969-01-01 | Paper |
Two notes on the foundations of set-theory
Dialectica | 1969-01-01 | Paper |
A survey of proof theory
Journal of Symbolic Logic | 1968-01-01 | Paper |
Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
Mathematical Logic Quarterly | 1968-01-01 | Paper |
scientific article; zbMATH DE number 3253161 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3282587 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3298808 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3264897 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3249766 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3235223 (Why is no real title available?)
| 1967-01-01 | Paper |
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
Journal of Symbolic Logic | 1966-01-01 | Paper |
Persistent and invariant formulas relative to theories of higher order
Bulletin of the American Mathematical Society | 1966-01-01 | Paper |
scientific article; zbMATH DE number 3222099 (Why is no real title available?)
| 1966-01-01 | Paper |
scientific article; zbMATH DE number 3237808 (Why is no real title available?)
| 1965-01-01 | Paper |
Metarecursive sets
Journal of Symbolic Logic | 1965-01-01 | Paper |
scientific article; zbMATH DE number 3356759 (Why is no real title available?)
| 1965-01-01 | Paper |
On weak completeness of intuitionistic predicate logic
Journal of Symbolic Logic | 1963-01-01 | Paper |
scientific article; zbMATH DE number 3216178 (Why is no real title available?)
| 1962-01-01 | Paper |
scientific article; zbMATH DE number 3176053 (Why is no real title available?)
| 1962-01-01 | Paper |
1 — Consistency and faithful interpretations
Archiv für Mathematische Logik und Grundlagenforschung | 1962-01-01 | Paper |
scientific article; zbMATH DE number 3329894 (Why is no real title available?)
| 1961-01-01 | Paper |
scientific article; zbMATH DE number 3316894 (Why is no real title available?)
| 1961-01-01 | Paper |
Number theoretic concepts and recursive well-orderings
Archiv für Mathematische Logik und Grundlagenforschung | 1961-01-01 | Paper |
Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi
Mathematical Logic Quarterly | 1961-01-01 | Paper |
scientific article; zbMATH DE number 3225350 (Why is no real title available?)
| 1960-01-01 | Paper |
La prédicativité
Bulletin de la Société mathématique de France | 1960-01-01 | Paper |
scientific article; zbMATH DE number 3335022 (Why is no real title available?)
| 1960-01-01 | Paper |
scientific article; zbMATH DE number 3319541 (Why is no real title available?)
| 1960-01-01 | Paper |
scientific article; zbMATH DE number 3319536 (Why is no real title available?)
| 1960-01-01 | Paper |
scientific article; zbMATH DE number 3257399 (Why is no real title available?)
| 1960-01-01 | Paper |
scientific article; zbMATH DE number 3257400 (Why is no real title available?)
| 1960-01-01 | Paper |
scientific article; zbMATH DE number 3216998 (Why is no real title available?)
| 1959-01-01 | Paper |
scientific article; zbMATH DE number 3285221 (Why is no real title available?)
| 1959-01-01 | Paper |
Mathematical significance of consistency proofs
Journal of Symbolic Logic | 1959-01-01 | Paper |
A remark on free choice sequences and the topological completeness proofs
Journal of Symbolic Logic | 1959-01-01 | Paper |
scientific article; zbMATH DE number 3151582 (Why is no real title available?)
| 1959-01-01 | Paper |
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
Journal of Symbolic Logic | 1959-01-01 | Paper |
HILBERT'S PROGRAMME
Dialectica | 1958-01-01 | Paper |
Applications of formalized consistency proofs II
Fundamenta Mathematicae | 1958-01-01 | Paper |
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
Archiv für Mathematische Logik und Grundlagenforschung | 1957-01-01 | Paper |
scientific article; zbMATH DE number 3127536 (Why is no real title available?)
| 1957-01-01 | Paper |
scientific article; zbMATH DE number 3129325 (Why is no real title available?)
| 1957-01-01 | Paper |
Some applications of formalized consistency proofs
Fundamenta Mathematicae | 1955-01-01 | Paper |
scientific article; zbMATH DE number 3115894 (Why is no real title available?)
| 1955-01-01 | Paper |
scientific article; zbMATH DE number 3111916 (Why is no real title available?)
| 1955-01-01 | Paper |
Remark on complete interpretations by models
Archiv für Mathematische Logik und Grundlagenforschung | 1954-01-01 | Paper |
scientific article; zbMATH DE number 3091853 (Why is no real title available?)
| 1954-01-01 | Paper |
On the concepts of completeness and interpretation of formal systems
Fundamenta Mathematicae | 1953-01-01 | Paper |
scientific article; zbMATH DE number 3084368 (Why is no real title available?)
| 1953-01-01 | Paper |
scientific article; zbMATH DE number 3085186 (Why is no real title available?)
| 1953-01-01 | Paper |
THE DIAGONAL METHOD IN FORMALIZED ARITHMETIC
The British Journal for the Philosophy of Science | 1953-01-01 | Paper |
Note on Functional Relationship
The Mathematical Gazette | 1953-01-01 | Paper |
On the interpretation of non-finitist proofs–Part II
Journal of Symbolic Logic | 1952-01-01 | Paper |
Some concepts concerning formal systems of number theory
Mathematische Zeitschrift | 1952-01-01 | Paper |
scientific article; zbMATH DE number 3077231 (Why is no real title available?)
| 1952-01-01 | Paper |
On the Interpretation of Non-Finitist Proofs--Part I
Journal of Symbolic Logic | 1951-01-01 | Paper |
Some Remarks on the Foundations of Mathematics: an Expository Article
The Mathematical Gazette | 1951-01-01 | Paper |
Note on arithmetic models for consistent formulae of the predicate calculus
Fundamenta Mathematicae | 1950-01-01 | Paper |
Surface waves
Quarterly of Applied Mathematics | 1949-01-01 | Paper |
Some remarks on integral equations with kernels: L (ξ 1 - x 1 ,..., ξ n - x n ; α)
Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences | 1949-01-01 | Paper |
