Annals of Pure and Applied Logic, Volume 124

Volume 124, Numbers 1-3, December 2003

• Peter Dybjer, Anton Setzer:
  Induction-recursion and initial algebras. 1-47
  
• Dafa Li:
  Using the prover ANDP to simplify orthogonality. 49-70
  
• Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini:
  Inductively generated formal topologies. 71-106
  
• Bernhard König:
  Local coherence. 107-139
  
• Iraj Kalantari, Larry Welch:
  A blend of methods of recursion theory and topology. 141-178
  
• Milos S. Kurilic:
  Independence of Boolean algebras and forcing. 179-191
  
• Stephen A. Cook, Antonina Kolokolova:
  A second-order system for polytime reasoning based on Grädel's theorem. 193-231
  
• Chaz Schlindwein:
  SH plus CH does not imply stationary antichains. 233-265
  
• Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi:
  Intuitionistic axiomatizations for bounded extension Kripke models. 267-285
  
• Carlos Areces, Patrick Blackburn, Maarten Marx:
  Repairing the interpolation theorem in quantified modal logic. 287-299