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 BibTeX
• Gennady Davydov, Inna Davydova: Tautologies and Positive Solvability of Linear Homogeneous Systems. 27-43 BibTeX
• Kai Hauser: The Indestructability of the Order of the Indescribable Cardinals. 45-91 BibTeX

Volume 57, Number 2, 25 May 1992

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

Volume 57, Number 3, 4 June 1992

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