Buchholz, Wilfried A new system of proof-theoretic ordinal functions. (English) Zbl 0655.03038 Ann. Pure Appl. Logic 32, 195-207 (1986). MSC: 03F15 PDF BibTeX XML Cite \textit{W. Buchholz}, Ann. Pure Appl. Logic 32, 195--207 (1986; Zbl 0655.03038) Full Text: DOI Link OpenURL
Scedrov, Andre On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis. (English) Zbl 0644.03035 Ann. Pure Appl. Logic 32, 291-297 (1986). Reviewer: B.van Rootselaar MSC: 03F60 03F50 PDF BibTeX XML Cite \textit{A. Scedrov}, Ann. Pure Appl. Logic 32, 291--297 (1986; Zbl 0644.03035) Full Text: DOI OpenURL
Cartmell, John Generalized algebraic theories and contextual categories. (English) Zbl 0634.18003 Ann. Pure Appl. Logic 32, 209-243 (1986). Reviewer: A.Kock MSC: 18C10 03G30 PDF BibTeX XML Cite \textit{J. Cartmell}, Ann. Pure Appl. Logic 32, 209--243 (1986; Zbl 0634.18003) Full Text: DOI OpenURL
Scedrov, Andre Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator. (English) Zbl 0634.03051 Ann. Pure Appl. Logic 32, 103-109 (1986). Reviewer: A.Kock MSC: 03E70 03E40 18A15 18B25 PDF BibTeX XML Cite \textit{A. Scedrov}, Ann. Pure Appl. Logic 32, 103--109 (1986; Zbl 0634.03051) Full Text: DOI OpenURL
McCarty, Charles Realizability and recursive set theory. (English) Zbl 0631.03035 Ann. Pure Appl. Logic 32, 153-183 (1986). Reviewer: R.Downey MSC: 03D50 PDF BibTeX XML Cite \textit{C. McCarty}, Ann. Pure Appl. Logic 32, 153--183 (1986; Zbl 0631.03035) Full Text: DOI Backlinks: MO OpenURL
Ash, C. J. Stability of recursive structures in arithmetical degrees. (English) Zbl 0631.03016 Ann. Pure Appl. Logic 32, 113-135 (1986). Reviewer: A.N.Ryaskin MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{C. J. Ash}, Ann. Pure Appl. Logic 32, 113--135 (1986; Zbl 0631.03016) Full Text: DOI OpenURL
Downey, R. G.; Kurtz, Stuart A. Recursion theory and ordered groups. (English) Zbl 0629.03020 Ann. Pure Appl. Logic 32, 137-151 (1986). MSC: 03D45 06F15 06F20 PDF BibTeX XML Cite \textit{R. G. Downey} and \textit{S. A. Kurtz}, Ann. Pure Appl. Logic 32, 137--151 (1986; Zbl 0629.03020) Full Text: DOI OpenURL
Mulry, Philip S. Adjointness in recursion. (English) Zbl 0627.03026 Ann. Pure Appl. Logic 32, 281-289 (1986). MSC: 03D45 03D60 18B20 03D80 PDF BibTeX XML Cite \textit{P. S. Mulry}, Ann. Pure Appl. Logic 32, 281--289 (1986; Zbl 0627.03026) Full Text: DOI OpenURL
Flagg, R. C.; Friedman, H. Epistemic and intuitionistic formal systems. (English) Zbl 0626.03050 Ann. Pure Appl. Logic 32, 53-60 (1986). MSC: 03F50 03B45 PDF BibTeX XML Cite \textit{R. C. Flagg} and \textit{H. Friedman}, Ann. Pure Appl. Logic 32, 53--60 (1986; Zbl 0626.03050) Full Text: DOI OpenURL
Flagg, Robert C. Integrating classical and intuitionistic type theory. (English) Zbl 0626.03049 Ann. Pure Appl. Logic 32, 27-51 (1986). MSC: 03F50 03F35 03B15 03B45 03F25 PDF BibTeX XML Cite \textit{R. C. Flagg}, Ann. Pure Appl. Logic 32, 27--51 (1986; Zbl 0626.03049) Full Text: DOI OpenURL
Dekker, J. C. E. Isols and Burnside’s lemma. (English) Zbl 0626.03036 Ann. Pure Appl. Logic 32, 245-263 (1986). Reviewer: H.Gonshor MSC: 03D50 PDF BibTeX XML Cite \textit{J. C. E. Dekker}, Ann. Pure Appl. Logic 32, 245--263 (1986; Zbl 0626.03036) Full Text: DOI OpenURL
Remmel, J. B. Graph colorings and recursively bounded \(\Pi ^ 0_ 1\)-classes. (English) Zbl 0625.03024 Ann. Pure Appl. Logic 32, 185-194 (1986). MSC: 03D45 05C15 PDF BibTeX XML Cite \textit{J. B. Remmel}, Ann. Pure Appl. Logic 32, 185--194 (1986; Zbl 0625.03024) Full Text: DOI OpenURL
Gurevich, Yuri; Shelah, Saharon Fixed-point extensions of first-order logic. (English) Zbl 0621.03013 Ann. Pure Appl. Logic 32, 265-280 (1986). Reviewer: E.Melis MSC: 03B60 PDF BibTeX XML Cite \textit{Y. Gurevich} and \textit{S. Shelah}, Ann. Pure Appl. Logic 32, 265--280 (1986; Zbl 0621.03013) Full Text: DOI Link OpenURL
Blass, Andreas; Gurevich, Yuri Henkin quantifiers and complete problems. (English) Zbl 0618.03016 Ann. Pure Appl. Logic 32, 1-16 (1986). Reviewer: M.Tetruašvili MSC: 03D15 03B10 PDF BibTeX XML Cite \textit{A. Blass} and \textit{Y. Gurevich}, Ann. Pure Appl. Logic 32, 1--16 (1986; Zbl 0618.03016) Full Text: DOI Link OpenURL
Pillay, Anand Forking, normalization and canonical bases. (English) Zbl 0607.03010 Ann. Pure Appl. Logic 32, 61-81 (1986). MSC: 03C45 PDF BibTeX XML Cite \textit{A. Pillay}, Ann. Pure Appl. Logic 32, 61--81 (1986; Zbl 0607.03010) Full Text: DOI OpenURL
Point, Francoise Quantifier elimination in discriminator varieties. (English) Zbl 0606.03008 Ann. Pure Appl. Logic 32, 83-101 (1986). MSC: 03C10 03C60 08B10 PDF BibTeX XML Cite \textit{F. Point}, Ann. Pure Appl. Logic 32, 83--101 (1986; Zbl 0606.03008) Full Text: DOI OpenURL
Downey, R. G. Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures. (English) Zbl 0604.03014 Ann. Pure Appl. Logic 32, 17-26 (1986). MSC: 03D25 03D45 PDF BibTeX XML Cite \textit{R. G. Downey}, Ann. Pure Appl. Logic 32, 17--26 (1986; Zbl 0604.03014) Full Text: DOI OpenURL