Gurevich, Yuri Existential interpretation. II. (English) Zbl 0493.03020 Arch. Math. Logik Grundlagenforsch. 22, 103-120 (1982). MSC: 03D35 PDFBibTeX XMLCite \textit{Y. Gurevich}, Arch. Math. Logik Grundlagenforsch. 22, 103--120 (1982; Zbl 0493.03020) Full Text: DOI EuDML
Gurevich, Yuri Semi-conservative reduction. (English) Zbl 0351.02011 Arch. Math. Logik Grundlagenforsch. 18, 23-25 (1976). MSC: 03B10 03B25 03B99 PDFBibTeX XMLCite \textit{Y. Gurevich}, Arch. Math. Logik Grundlagenforsch. 18, 23--25 (1976; Zbl 0351.02011) Full Text: DOI EuDML