Annals of Pure and Applied Logic, Volume 59

Volume 59, Number 1, 1 January 1993

• Uri Abraham, Saharon Shelah:
  A Delta²₂ Well-Order of the Reals and Incompactness of L(Q^MM). 1-32
  
• Xavier Caicedo:
  Compactness and Normality in Abstract Logics. 33-43
  
• M. Randall Holmes:
  Systems of Combinatory Logic Related to Predicative and `Mildly Impredicative' Fragments of Quine's `New Foundations'. 45-53
  
• John Love:
  Stability among r.e. Quotient Algebras. 55-63
  
• Xiaokang Yu:
  Riesz Representation Theorem, Borel Measures and Subsystems of Second-Order Arithmetic. 65-78
  

Volume 59, Number 2, 5 January 1993

• Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore:
  Countable Thin Pi⁰₁ Classes. 79-139
  
• Kevin Lano:
  The Intuitionistic Alternative Set Theory. 141-156
  

Volume 59, Number 3, 16 February 1993

• Samuel R. Buss:
  Intuitionistic Validity in T-Normal Kripke Structures. 159-173
  
• Rodney G. Downey, Michael Stob:
  Friedberg Splittings of Recursively Enumerable Sets. 175-199
  
• Jean-Yves Girard:
  On the Unity of Logic. 201-217
  
• Moti Gitik, Saharon Shelah:
  More on Simple Forcing Notions and Forcings with Ideals. 219-238
  
• Sabine Koppelberg:
  A Construction of Boolean Algebras from First-Order Structures. 239-256
  
• Masahiro Kumabe:
  Generic Degrees are Complemented. 257-272
  
• Lian Li, Huilin Li, Yixun Liu:
  A Decision Algorithm for Linear Sentences on a PFM. 273-286
  

Last update Tue Feb 14 04:14:08 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page