Annals of Pure and Applied Logic, Volume 157

Volume 157, Number 1, January 2009

• David Asperó, Sy D. Friedman:
  Large cardinals and locally defined well-orders of the universe. 1-15
  Electronic Edition (link) BibTeX
• Pavel Pudlák:
  Quantum deduction rules. 16-29
  Electronic Edition (link) BibTeX
• Pawel M. Idziak, Keith A. Kearnes, Emil W. Kiss, Matthew Valeriote:
  Definable principal congruences and solvability. 30-49
  Electronic Edition (link) BibTeX
• Hannes Diener, Iris Loeb:
  Sequences of real functions on [0, 1] in constructive reverse mathematics. 50-61
  Electronic Edition (link) BibTeX