Annals of Pure and Applied Logic, Volume 155

Volume 155, Number 1, August 2008

• Paul Brodhead, Angsheng Li, Weilin Li:
  Continuity of capping in C_bT. 1-15
  Electronic Edition (link) BibTeX
• Saharon Shelah, Alexander Usvyatsov:
  More on SOP₁ and SOP₂. 16-31
  Electronic Edition (link) BibTeX
• Vladimir V. Rybakov:
  Linear temporal logic with until and next, logical consecutions. 32-45
  Electronic Edition (link) BibTeX
• Ernst-Erich Doberkat:
  Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence. 46-68
  Electronic Edition (link) BibTeX

Volume 155, Number 2, September 2008

• Andrea Sorbi, Sebastiaan Terwijn:
  Intermediate logics and factors of the Medvedev lattice. 69-85
  Electronic Edition (link) BibTeX
• Katarzyna Slomczynska:
  Free equivalential algebras. 86-96
  Electronic Edition (link) BibTeX
• Byunghan Kim, Alexei S. Kolesnikov, Akito Tsuboi:
  Generalized amalgamation and n-simplicity. 97-114
  Electronic Edition (link) BibTeX
• Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini:
  Synthetic domain theory and models of linear Abadi & Plotkin logic. 115-133
  Electronic Edition (link) BibTeX

Volume 155, Number 3, October 2008

• Steven Buechler:
  Vaught's conjecture for superstable theories of finite rank. 135-172
  Electronic Edition (link) BibTeX
• Paolo Di Giamberardino, Claudia Faggian:
  Proof nets sequentialisation in multiplicative linear logic. 173-182
  Electronic Edition (link) BibTeX
• Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra:
  Gödel algebras free over finite distributive lattices. 183-193
  Electronic Edition (link) BibTeX
• Ran Raz, Iddo Tzameret:
  Resolution over linear equations and multilinear proofs. 194-224
  Electronic Edition (link) BibTeX
• Jessica Millar, Gerald E. Sacks:
  Atomic models higher up. 225-241
  Electronic Edition (link) BibTeX