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
• Deirdre Haskell: A Transfer Theorem in Constructive p-adic Algebra. 29-55
• Menachem Kojman, Saharon Shelah: The Universality Spectrum of Stable Unsuperstable Theories. 57-72
• I. P. van den Berg: Extended use of IST. 73-92

Volume 58, Number 2, 28 September 1992

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

Volume 58, Number 3, 19 November 1992

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