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