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
• Marco Forti, Furio Honsell: Choice Principles in Hyperuniverses. 35-52
• Greg Hjorth: Pi¹₂ Wadge Degrees. 53-74
• Anand Pillay: Definable Sets in Generic Complex Tori. 75-80
• Katrin Tent: Classifying Totally Categorical Groups (and Others). 81-100

Volume 77, Number 2, 29 January 1996

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

Volume 77, Number 3, 19 February 1996

• Thomas Ehrhard: Projecting Sequential Algorithms on Strongly Stable Functions. 201-244
• Kostas Hatzikiriakou: WKL₀ and Stone's Separation Theorem for Convex Sets. 245-249
• 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
• Daniel E. Talayco: Applications of Cohomology to Set Theory II: Todorcevic Trees. 279-299