Annals of Pure and Applied Logic, Volume 146

Volume 146, Number 1, April 2007

• Pedro A. Guil Asensio, Ivo Herzog:
  Model-theoretic aspects of Sigma-cotorsion modules. 1-12
  Electronic Edition (link) BibTeX
• Anand Pillay:
  Imaginaries in pairs of algebraically closed fields. 13-20
  Electronic Edition (link) BibTeX
• Brian Wynne:
  Decidable theories of non-projectable l-groups of continuous functions. 21-39
  Electronic Edition (link) BibTeX
• Benno van den Berg, Federico De Marchi:
  Non-well-founded trees in categories. 40-59
  Electronic Edition (link) BibTeX
• Michael A. Warren:
  Coalgebras in a category of classes. 60-71
  Electronic Edition (link) BibTeX
• Pavel Hrubes:
  A lower bound for intuitionistic logic. 72-90
  Electronic Edition (link) BibTeX
• Guohua Wu:
  Intervals containing exactly one c.e. degree. 91-102
  Electronic Edition (link) BibTeX

Volume 146, Numbers 2-3, May 2007

• Giovanni Curi:
  Exact approximations to Stone-Cech compactification. 103-123
  Electronic Edition (link) BibTeX
• Dan E. Willard:
  Passive induction and a solution to a Paris-Wilkie open question. 124-149
  Electronic Edition (link) BibTeX
• David Asperó:
  Guessing and non-guessing of canonical functions. 150-179
  Electronic Edition (link) BibTeX
• Fairouz Kamareddine, Karim Nour:
  A completeness result for a realisability semantics for an intersection type system. 180-198
  Electronic Edition (link) BibTeX
• Kentaro Sato:
  Double helix in large large cardinals and iteration of elementary embeddings. 199-236
  Electronic Edition (link) BibTeX
• Kosta Dosen, Zoran Petric:
  Medial commutativity. 237-255
  Electronic Edition (link) BibTeX