Hauser, Kai The indescribability of the order of the indescribable cardinals. (English) Zbl 0766.03029 Ann. Pure Appl. Logic 57, No. 1, 45-91 (1992). MSC: 03E55 03E35 03E50 PDFBibTeX XMLCite \textit{K. Hauser}, Ann. Pure Appl. Logic 57, No. 1, 45--91 (1992; Zbl 0766.03029) Full Text: DOI Link
Davydov, Gennady; Davydova, Inna Tautologies and positive solvability of linear homogeneous systems. (English) Zbl 0764.15001 Ann. Pure Appl. Logic 57, No. 1, 27-43 (1992). Reviewer: J.Drewniak (Katowice) MSC: 15A06 15A39 90C05 PDFBibTeX XMLCite \textit{G. Davydov} and \textit{I. Davydova}, Ann. Pure Appl. Logic 57, No. 1, 27--43 (1992; Zbl 0764.15001) Full Text: DOI
Blass, Andreas; Scedrov, Andre Complete topoi representing models of set theory. (English) Zbl 0763.03028 Ann. Pure Appl. Logic 57, No. 1, 1-26 (1992). MSC: 03E40 18B25 PDFBibTeX XMLCite \textit{A. Blass} and \textit{A. Scedrov}, Ann. Pure Appl. Logic 57, No. 1, 1--26 (1992; Zbl 0763.03028) Full Text: DOI Link