Annals of Pure and Applied Logic, Volume 129

Volume 129, Numbers 1-3, October 2004

• Emil Jerábek:
  Dual weak pigeonhole principle, Boolean complexity, and derandomization. 1-37
  
• Toshiyasu Arai:
  Proof theory for theories of ordinals II: Pi₃-reflection. 39-92
  
• Stefano Berardi, Silvio Valentini:
  Krivine's intuitionistic proof of classical completeness (for countable languages). 93-106
  
• Boaz Tsaban:
  The combinatorics of splittability. 107-130
  
• Martin Grohe, Stefan Wöhrle:
  An existential locality theorem. 131-148
  
• Ziv Shami:
  Internality and interpretable automorphism groups in simple theories. 149-162
  
• Liang Yu, Decheng Ding, Rodney G. Downey:
  The Kolmogorov complexity of random reals. 163-180
  
• Pilar Dellunde, Françoise Delon, Françoise Point:
  The theory of modules of separably closed fields 2. 181-210
  
• James Cummings, Matthew Foreman, Menachem Magidor:
  Canonical structure in the universe of set theory: part one. 211-243
  
• Carsten Butz:
  Saturated models of intuitionistic theories. 245-275