Annals of Pure and Applied Logic, Volume 57

Volume 57, Number 1, 6 May 1992

• Andreas Blass, Andre Scedrov: Complete Topoi Representing Models of Set Theory. 1-26
• Gennady Davydov, Inna Davydova: Tautologies and Positive Solvability of Linear Homogeneous Systems. 27-43
• Kai Hauser: The Indestructability of the Order of the Indescribable Cardinals. 45-91

Volume 57, Number 2, 25 May 1992

• Annalisa Bossi, Silvio Valentini: An Intuitionistic Theory of Types with Assumptions of High-Arity Variables. 93-149
• William J. Mitchell: An Infinitary Ramsey Property. 151-160
• Lou van den Dries, Jan Holly: Quantifier Elimination for Modules with Scalar Variables. 161-179

Volume 57, Number 3, 4 June 1992

• Matthias Baaz, Alexander Leitsch: Complexity of Resolution Proofs and Function Introduction. 181-215
• Lutz Heindorf: Moderate Families in Boolean Algebras. 217-250
• Hans Tonino, Ken-etsu Fujita: On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System. 251-276