Annals of Pure and Applied Logic, Volume 58

Volume 58, Number 1, 3 July 1992

• Derrick Albert DuBose: Determinacy and Extended Sharp Functions on the Reals, Part II: Obtaining Sharps from Determinacy. 1-28 BibTeX
• Deirdre Haskell: A Transfer Theorem in Constructive p-adic Algebra. 29-55 BibTeX
• Menachem Kojman, Saharon Shelah: The Universality Spectrum of Stable Unsuperstable Theories. 57-72 BibTeX
• I. P. van den Berg: Extended use of IST. 73-92 BibTeX

Volume 58, Number 2, 28 September 1992

• Tomek Bartoszynski, Saharon Shelah: Closed Measure Zero Sets. 93-110 BibTeX
• Carlo Celluci: Existential Instantiation and Normalization in Sequent Natural Deduction. 111-148 BibTeX
• Michal Krynicki, Marcin Mostowski: Decidability Problems in Languages with Henkin Quantifiers. 149-172 BibTeX

Volume 58, Number 3, 19 November 1992

• Christopher J. Ash: Generalizations of Enumeration Reducibility Using Recursive Infinitary Propositional Sentences. 173-184 BibTeX
• Jörg Brendle, Haim Judah, Saharon Shelah: Combinatorial Properties of Hechler Forcing. 185-199 BibTeX
• Ker-I Ko: On the Computational Complexity of Integral Equations. 201-228 BibTeX
• Andrea Masini: 2-Sequent Calculus: A Proof Theory of Modalities. 229-246 BibTeX
• Claude Sureson: Symmetric Submodels of a Cohen Generic Extension. 247-261 BibTeX