Semisemiological structure of the prime numbers and conditional Goldbach theorems. H.A. Pogorzelski (1977) Journal für die reine und angewandte Mathematik
Some constructive topological properties of function spaces Maurice Margenstern (1976) Annales scientifiques de l'Université de Clermont. Mathématiques
Some diophantine forms of Gödel's theorem. V.H. Dyson, J.P. Jones (1982) Archiv für mathematische Logik und Grundlagenforschung