Lipton, James; O’Donnell, Michael J. Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels. (English) Zbl 0882.03056 Ann. Pure Appl. Logic 81, No. 1-3, 187-239 (1996). Reviewer: W.Veldman (Nijmegen) MSC: 03F50 PDFBibTeX XMLCite \textit{J. Lipton} and \textit{M. J. O'Donnell}, Ann. Pure Appl. Logic 81, No. 1--3, 187--239 (1996; Zbl 0882.03056) Full Text: DOI
Sacks, Gerald E. Effective forcing versus proper forcing. (English) Zbl 0857.03025 Ann. Pure Appl. Logic 81, No. 1-3, 171-185 (1996). MSC: 03D65 03E40 PDFBibTeX XMLCite \textit{G. E. Sacks}, Ann. Pure Appl. Logic 81, No. 1--3, 171--185 (1996; Zbl 0857.03025) Full Text: DOI
Nerode, Anil; Remmel, J. B. On the lattices of NP-subspaces of a polynomial time vector space over a finite field. (English) Zbl 0862.03026 Ann. Pure Appl. Logic 81, No. 1-3, 125-170 (1996). Reviewer: M.Zimand (Americus) MSC: 03D45 03D15 PDFBibTeX XMLCite \textit{A. Nerode} and \textit{J. B. Remmel}, Ann. Pure Appl. Logic 81, No. 1--3, 125--170 (1996; Zbl 0862.03026) Full Text: DOI OA License
Shoenfield, J. R. Priority constructions. (English) Zbl 0858.03045 Ann. Pure Appl. Logic 81, No. 1-3, 115-123 (1996). Reviewer: W.I.Gasarch (College Park) MSC: 03D25 PDFBibTeX XMLCite \textit{J. R. Shoenfield}, Ann. Pure Appl. Logic 81, No. 1--3, 115--123 (1996; Zbl 0858.03045) Full Text: DOI
Feferman, Solomon Computation on abstract data types. The extensional approach, with an application to streams. (English) Zbl 0858.03048 Ann. Pure Appl. Logic 81, No. 1-3, 75-113 (1996). Reviewer: N.Curteanu (Iaşi) MSC: 03D75 68Q65 68W30 PDFBibTeX XMLCite \textit{S. Feferman}, Ann. Pure Appl. Logic 81, No. 1--3, 75--113 (1996; Zbl 0858.03048) Full Text: DOI OA License
Vesley, Richard E. Realizing Brouwer’s sequences. (English) Zbl 0863.03031 Ann. Pure Appl. Logic 81, No. 1-3, 25-74 (1996). Reviewer: V.V.Pambuccian (Phoenix) MSC: 03F55 03F50 PDFBibTeX XMLCite \textit{R. E. Vesley}, Ann. Pure Appl. Logic 81, No. 1--3, 25--74 (1996; Zbl 0863.03031) Full Text: DOI
Moschovakis, Joan Rand A classical view of the intuitionistic continuum. (English) Zbl 0863.03030 Ann. Pure Appl. Logic 81, No. 1-3, 9-24 (1996). Reviewer: V.V.Pambuccian (Phoenix) MSC: 03F55 03F50 03F35 PDFBibTeX XMLCite \textit{J. R. Moschovakis}, Ann. Pure Appl. Logic 81, No. 1--3, 9--24 (1996; Zbl 0863.03030) Full Text: DOI
Mac Lane, Saunders Stephen Cole Kleene – a reminiscence. (English) Zbl 0855.01030 Ann. Pure Appl. Logic 81, No. 1-3, 3-7 (1996). MSC: 01A70 01A60 PDFBibTeX XMLCite \textit{S. Mac Lane}, Ann. Pure Appl. Logic 81, No. 1--3, 3--7 (1996; Zbl 0855.01030) Full Text: DOI
Nerode, Anil; Sacks, Gerald Preface to the special volume dedicated to the late Stephen Cole Kleene. (English) Zbl 0855.01029 Ann. Pure Appl. Logic 81, No. 1-3, 1 (1996). MSC: 01A70 01A60 PDFBibTeX XMLCite \textit{A. Nerode} and \textit{G. Sacks}, Ann. Pure Appl. Logic 81, No. 1--3, 1 (1996; Zbl 0855.01029) Full Text: DOI