Basarab, Serban A. Relative elimination of quantifiers for Henselian valued fields. (English) Zbl 0734.03021 Ann. Pure Appl. Logic 53, No. 1, 51-74 (1991). Reviewer: T.Pheidas (Iraklion) MSC: 03C60 12J10 12L12 03C10 PDF BibTeX XML Cite \textit{S. A. Basarab}, Ann. Pure Appl. Logic 53, No. 1, 51--74 (1991; Zbl 0734.03021) Full Text: DOI
Buss, Samuel R. The undecidability of \(k\)-provability. (English) Zbl 0749.03039 Ann. Pure Appl. Logic 53, No. 1, 75-102 (1991). Reviewer: M.Yasuhara (Princeton) MSC: 03F20 03B25 PDF BibTeX XML Cite \textit{S. R. Buss}, Ann. Pure Appl. Logic 53, No. 1, 75--102 (1991; Zbl 0749.03039) Full Text: DOI
Allen, Bill Arithmetizing uniform \(NC\). (English) Zbl 0741.03019 Ann. Pure Appl. Logic 53, No. 1, 1-50 (1991). Reviewer: A.Leitsch (Wien) MSC: 03D15 03F30 68Q15 PDF BibTeX XML Cite \textit{B. Allen}, Ann. Pure Appl. Logic 53, No. 1, 1--50 (1991; Zbl 0741.03019) Full Text: DOI