Annals of Pure and Applied Logic, Volume 98

Volume 98, Numbers 1-3, 29 June 1999

• Alexej P. Pynko: Definitional Equivalence and Algebraizability of Generalized Logical Systems. 1-68 BibTeX
• Enrique Casanovas: The Number of Types in Simple Theories. 69-86 BibTeX
• Iraj Kalantari, Lawrence Welch: Recursive and Nonextendible Functions over the Reals; Filter Foundation for Recursive Analysis, II. 87-110 BibTeX
• J. B. Wells: Typability and Type Checking in System F are Equivalent and Undecidable. 111-156 BibTeX
• Renling Jin: Distinguishing Three Strong Saturation Properties in Nonstandard Analysis. 157-171 BibTeX
• Philip Scowcroft: Some Purely Topological Models for Intuitionistic Analysis. 173-215 BibTeX
• Saharon Shelah, Jindrich Zapletal: Canonical Models for N₁-Combinatorics. 217-259 BibTeX
• Saharon Shelah: Categoricity for Abstract Classes with Amalgamation. 261-294 BibTeX
• Bakhadyr Khoussainov, Richard A. Shore: Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families". 297-298 BibTeX