Annals of Pure and Applied Logic, Volume 95

Volume 95, Number 1-3, 5 November 1998

• Rodney G. Downey, Geoffrey LaForte, André Nies: Computably Enumerable Sets and Quasi-Reducibility. 1-35 BibTeX
• Benjamin Schaeffer: Dynamic Notions of Genericity and Array Noncomputability. 37-69 BibTeX
• Zoe Chatzidakis, Anand Pillay: Generic Structures and Simple Theories. 71-92 BibTeX
• Toshiyasu Arai: Some Results on Cut-Elimination, Provable Well-Orderings, Induction, and Reflection. 93-184 BibTeX
• Steve Maxwell: A General Model Completeness Result for Expansions of the Real Ordered Field. 185-227 BibTeX
• Melinda Lombard, Richard Vesley: A Common Axiom Set for Classical and Intuitionistic Plane Geometry. 229-255 BibTeX
• Ulrich Kohlenbach: On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness. 257-285 BibTeX