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