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
  

Last update Tue May 21 18:21:22 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page