Annals of Pure and Applied Logic, Volume 122

Volume 122, Numbers 1-3, August 2003

• Toshiyasu Arai:
  Proof theory for theories of ordinals - I: recursively Mahlo ordinals. 1-85
  
• Stefan Neumann:
  True cofinality and bounding number for small products of partial orders. 87-106
  
• Christophe Raffalli:
  System ST toward a type system for extraction and proofs of programs. 107-130
  
• Zoran Petric:
  G-dinaturality. 131-173
  
• Viktor Verbovskiy, Ikuo Yoneda:
  CM-triviality and relational structures. 175-194
  
• Christian Rüede:
  The proof-theoretic analysis of Sigma₁¹ transfinite dependent choice. 195-234
  
• Itay Ben-Yaacov, Anand Pillay, Evgueni Vassiliev:
  Lovely pairs of models. 235-261
  
• Patrick Simonetta:
  On non-abelian C-minimal groups. 263-287
  
• Anatole Khelif:
  On nonelementarily equivalent pairs of fields. 289-291