| Publication | Date of Publication | Type |
|---|
A type-free system extending (ZFC)
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4081552 (Why is no real title available?) | 1987-01-01 | Paper |
Implication and analysis in classical Frege structures
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3950520 (Why is no real title available?) | 1985-01-01 | Paper |
Choice Implies Excluded Middle
Mathematical Logic Quarterly | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3556015 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3563038 (Why is no real title available?) | 1975-01-01 | Paper |
Constructive set theory
Journal of Symbolic Logic | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3427309 (Why is no real title available?) | 1973-01-01 | Paper |
Embedding Classical Logic in Intuitionistic Logic
Mathematical Logic Quarterly | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3390730 (Why is no real title available?) | 1972-01-01 | Paper |
An Absolutely Independent Set of ΣO‐Sentences
Mathematical Logic Quarterly | 1972-01-01 | Paper |
What is a Real Number?
The American Mathematical Monthly | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3358472 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3348101 (Why is no real title available?) | 1971-01-01 | Paper |
A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
Michigan Mathematical Journal | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3370263 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3320365 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3370261 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3320364 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3298807 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3319968 (Why is no real title available?) | 1964-01-01 | Paper |
Remark on a system of bernays
Journal of Symbolic Logic | 1964-01-01 | Paper |
Shorter Note: The Converse of Moore's Garden-of-Eden Theorem
Proceedings of the American Mathematical Society | 1963-01-01 | Paper |
The Invalidity of Markoff's Schema
Mathematical Logic Quarterly | 1963-01-01 | Paper |
Variations on a theme of Bernays
Notre Dame Journal of Formal Logic | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3241269 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3241270 (Why is no real title available?) | 1962-01-01 | Paper |
Elementary properties of the group of isolic integers
Mathematische Zeitschrift | 1962-01-01 | Paper |
| Note on Degrees of Partial Functions | 1961-01-01 | Paper |
Category methods in recursion theory
Pacific Journal of Mathematics | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3394122 (Why is no real title available?) | 1960-01-01 | Paper |
The divisibility of isols by powers of primes
Mathematische Zeitschrift | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3148410 (Why is no real title available?) | 1959-01-01 | Paper |
Recursive digraphs, splinters and cylinders
Mathematische Annalen | 1959-01-01 | Paper |
Constructive definition of certain analytic sets of numbers
Journal of Symbolic Logic | 1959-01-01 | Paper |
| Some Theorems on Classes of Recursively Enumerable Sets | 1958-01-01 | Paper |
Retraceable Sets
Canadian Journal of Mathematics | 1958-01-01 | Paper |
Recursive equivalence types and combinatorial functions
Bulletin of the American Mathematical Society | 1958-01-01 | Paper |
Solution of a problem of Tarski
Journal of Symbolic Logic | 1956-01-01 | Paper |
Effective operations on partial recursive functions
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1955-01-01 | Paper |
Creative sets
Mathematical Logic Quarterly | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3083487 (Why is no real title available?) | 1953-01-01 | Paper |
Criteria of constructibility for real numbers
Journal of Symbolic Logic | 1953-01-01 | Paper |
On the interpretation of the sign ‘<b>⊃</b>’
Journal of Symbolic Logic | 1953-01-01 | Paper |
Arithmetic with creative definitions by induction
Journal of Symbolic Logic | 1953-01-01 | Paper |
A derivation of number theory from ancestral theory
Journal of Symbolic Logic | 1952-01-01 | Paper |
A finitary metalanguage for extended basic logic
Journal of Symbolic Logic | 1952-01-01 | Paper |
The Hypothesis that all Classes are Nameable
Proceedings of the National Academy of Sciences | 1952-01-01 | Paper |
Report on some investigations concerning the consistency of the axiom of reducibility
Journal of Symbolic Logic | 1951-01-01 | Paper |
Towards a consistent set-theory
Journal of Symbolic Logic | 1951-01-01 | Paper |
A system which can define its own truth
Fundamenta Mathematicae | 1950-01-01 | Paper |
A reduction in the number of primitive ideas of arithmetic
Journal of Symbolic Logic | 1950-01-01 | Paper |
A complete theory of natural, rational, and real numbers
Journal of Symbolic Logic | 1950-01-01 | Paper |
Note on an idea of Fitch
Journal of Symbolic Logic | 1949-01-01 | Paper |
