| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 2099087 (Why is no real title available?) | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 1336418 (Why is no real title available?) | 1999-09-14 | Paper |
| scientific article; zbMATH DE number 1236690 (Why is no real title available?) | 1999-01-06 | Paper |
| scientific article; zbMATH DE number 1134695 (Why is no real title available?) | 1998-03-26 | Paper |
| scientific article; zbMATH DE number 1111407 (Why is no real title available?) | 1998-01-29 | Paper |
| scientific article; zbMATH DE number 1102562 (Why is no real title available?) | 1998-01-11 | Paper |
On Series of Ordinals and Combinatorics
Mathematical Logic Quarterly | 1997-06-08 | Paper |
| scientific article; zbMATH DE number 510641 (Why is no real title available?) | 1995-01-22 | Paper |
| scientific article; zbMATH DE number 575897 (Why is no real title available?) | 1994-06-29 | Paper |
| scientific article; zbMATH DE number 410197 (Why is no real title available?) | 1993-09-14 | Paper |
| scientific article; zbMATH DE number 404532 (Why is no real title available?) | 1993-09-01 | Paper |
| scientific article; zbMATH DE number 167585 (Why is no real title available?) | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 166927 (Why is no real title available?) | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 139620 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 4189809 (Why is no real title available?) | 1990-01-01 | Paper |
Classification of Quantifier Prefixes Over Exponential Diophantine Equations
Mathematical Logic Quarterly | 1986-01-01 | Paper |
Variants of Robinson's essentially undecidable theoryR
Archiv für Mathematische Logik und Grundlagenforschung | 1983-01-01 | Paper |
Universal diophantine equation
Journal of Symbolic Logic | 1982-01-01 | Paper |
Some diophantine forms of gödel's theorem
Archiv für mathematische Logik und Grundlagenforschung | 1982-01-01 | Paper |
Classification of Quantifier Prefixes Over Diophantine Equations
Mathematical Logic Quarterly | 1981-01-01 | Paper |
Undecidable diophantine equations
Bulletin of the American Mathematical Society | 1980-01-01 | Paper |
Diophantine representation of Mersenne and Fermat primes
Acta Arithmetica | 1979-01-01 | Paper |
Three universal representations of recursively enumerable sets
Journal of Symbolic Logic | 1978-01-01 | Paper |
Diophantine Representation of the Set of Prime Numbers
The American Mathematical Monthly | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3570551 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3470494 (Why is no real title available?) | 1975-01-01 | Paper |
Formula for the Nth Prime Number
Canadian Mathematical Bulletin | 1975-01-01 | Paper |
Recursive Undecidability--An Exposition
The American Mathematical Monthly | 1974-01-01 | Paper |
