Annals of Pure and Applied Logic, Volume 61

Volume 61, Numbers 1-2, 6 May 1993

• Zofia Adamowicz: A Contribution to the End-Extension Problem and the Pi₁ Conservativeness Problem. 3-48 BibTeX
• Paola D'Aquino: A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta₀. 49-62 BibTeX
• Richard Kaye: Hilbert's Tenth Problem for Weak Theories of Arithmetic. 63-73 BibTeX
• Alessandro Berarducci, Rineke Verbrugge: On the Provability Logic of Bounded Arithmetic. 75-93 BibTeX
• George Boolos: The Analytical Completeness of Dzhaparidze's Polymodal Logics. 95-111 BibTeX
• Giorgie Dzhaparidze: A Generalized Notion of Weak Interpretability and the Corresponding Modal Logic. 113-160 BibTeX
• V. Yu. Shavrukov: A Note on the Diagonalizable Algebras of PA and ZF. 161-173 BibTeX
• Per Lindström: On Sigma₁ and Pi₁ Sentences and Degrees of Interpretability. 175-193 BibTeX

Volume 61, Number 3, 11 June 1993

• Peter Cholak, Rodney G. Downey: Lattice Nonembeddings and Intervals of the Recursively Enumerable Degrees. 195-221 BibTeX
• Ya'acov Peterzil: Zilber's Conjecture for Some o-Minimal Structures over the Reals. 223-239 BibTeX
• Philip Scowcroft, Angus Macintyre: On the Elimination of Imaginaries from Certain Valued Fields. 241-276 BibTeX