Feferman, S.; Kreisel, Georg; Orey, S. 1-consistency and faithful interpretations. (English) Zbl 0122.24502 Arch. Math. Logik Grundlagenforsch. 6, 52-53 (1962). PDFBibTeX XMLCite \textit{S. Feferman} et al., Arch. Math. Logik Grundlagenforsch. 6, 52--53 (1962; Zbl 0122.24502) Full Text: DOI EuDML
Ehrenfeucht, A.; Feferman, S. Representability of recursively enumerable sets in formal theories. (English) Zbl 0118.25102 Arch. Math. Logik Grundlagenforsch. 5, 37-41 (1961). PDFBibTeX XMLCite \textit{A. Ehrenfeucht} and \textit{S. Feferman}, Arch. Math. Logik Grundlagenforsch. 5, 37--41 (1961; Zbl 0118.25102) Full Text: DOI EuDML