Annals of Pure and Applied Logic, Volume 99

Volume 99, Numbers 1-3, 31 August 1999

• Olivier Chapuis, Pascal Koiran: Saturation and Stability in the Theory of Computation over the Reals. 1-49 BibTeX
• Slawomir Solecki: Analytic Ideals and Their Applications. 51-72 BibTeX
• Karl-Heinz Niggl: M^omega Considered as a Programming Language. 73-92 BibTeX
• Samuel R. Buss, Grigori Mints: The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic. 93-104 BibTeX
• Mirjana Borisavljevic: A Cut-Elimination Proof in Intuitionistic Predicate Logic. 105-136 BibTeX
• Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote: A Geometric Consequence of Residual Smallness. 137-169 BibTeX
• Alain Louveau, Boban Velickovic: Analytic Ideals and Cofinal Types. 171-195 BibTeX
• Alexandre A. Ivanov, Dugald Macpherson: Strongly Determined Types. 197-230 BibTeX
• Thierry Coquand: A Boolean Model of Ultrafilters. 231-239 BibTeX