Annals of Pure and Applied Logic, Volume 77

Volume 77, Number 1, 8 January 1996

• Paola D'Aquino: Pell Equations and Exponentiation in Fragments of Arithmetic. 1-34 BibTeX
• Marco Forti, Furio Honsell: Choice Principles in Hyperuniverses. 35-52 BibTeX
• Greg Hjorth: Pi¹₂ Wadge Degrees. 53-74 BibTeX
• Anand Pillay: Definable Sets in Generic Complex Tori. 75-80 BibTeX
• Katrin Tent: Classifying Totally Categorical Groups (and Others). 81-100 BibTeX

Volume 77, Number 2, 29 January 1996

• Richard Blute, Philip J. Scott: Linear Läuchli Semantics. 101-142 BibTeX
• Zhixiang Chen, Steven Homer: The Bounded Injury Priority Method and the Learnability of Unions of Rectangles. 143-168 BibTeX
• Erich Grädel, Gregory L. McColm: Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic. 169-199 BibTeX

Volume 77, Number 3, 19 February 1996

• Thomas Ehrhard: Projecting Sequential Algorithms on Strongly Stable Functions. 201-244 BibTeX
• Kostas Hatzikiriakou: WKL₀ and Stone's Separation Theorem for Convex Sets. 245-249 BibTeX
• Christian Michaux, Roger Villemaire: Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems. 251-277 BibTeX
• Daniel E. Talayco: Applications of Cohomology to Set Theory II: Todorcevic Trees. 279-299 BibTeX