Annals of Pure and Applied Logic, Volume 121

Volume 121, Number 1, May 2003

• Ulrich Kohlenbach, Paulo Oliva:
  Proof mining in L₁-approximation. 1-38
  
• Bas Luttik:
  On the expressiveness of choice quantification. 39-87
  
• Pierre Matet:
  Partition relations for kappa-normal ideals on P_kappa(lambda). 89-111
  

Volume 121, Numbers 2-3, June 2003

• Oleg V. Belegradek, Viktor Verbovskiy, Frank O. Wagner:
  Coset-minimal groups. 113-143
  
• Wieslaw Kubis, Saharon Shelah:
  Analytic colorings. 145-161
  
• Toshiyasu Arai:
  Epsilon substitution method for ID₁(Pi₁⁰ or Sigma₁⁰). 163-208
  
• Valentina S. Harizanov:
  Turing degrees of hypersimple relations on computable structures. 209-226
  
• Massoud Pourmahdian:
  Simple generic structures. 227-260
  
• F. Lucas:
  First-order theories of subgroups of divisible Hahn products. 261-279
  
• Joseph Y. Halpern, Bruce M. Kapron:
  Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193]. 281-283
  
• Jeremy Avigad:
  Erratum to "Saturated models of universal theories": [Ann. Pure Appl. Logic 118 (2002) 219-234]. 285-