Annals of Pure and Applied Logic, Volume 132

Volume 132, Number 1, February 2005

• Melvin Fitting:
  The logic of proofs, semantically. 1-25
  Electronic Edition (link) BibTeX
• Max A. Dickmann, Murray Marshall, Francisco Miraglia:
  Lattice-ordered reduced special groups. 27-49
  Electronic Edition (link) BibTeX
• Iris Loeb:
  Equivalents of the (Weak) Fan Theorem. 51-66
  Electronic Edition (link) BibTeX
• Boris Zilber:
  Pseudo-exponentiation on algebraically closed fields of characteristic zero. 67-95
  Electronic Edition (link) BibTeX
• Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov:
  Dependence relations in computably rigid computable vector spaces. 97-108
  Electronic Edition (link) BibTeX

Volume 132, Numbers 2-3, March 2005

• Benedetto Intrigila, Richard Statman:
  Some results on extensionality in lambda calculus. 109-125
  Electronic Edition (link) BibTeX
• Nick Peatfield, Boris Zilber:
  Analytic Zariski structures and the Hrushovski construction. 127-180
  Electronic Edition (link) BibTeX
• Evan J. Griffiths:
  Completely mitotic c.e. degrees and non-jump inversion. 181-207
  Electronic Edition (link) BibTeX
• Robert S. Lubarsky:
  Independence results around constructive ZF. 209-225
  Electronic Edition (link) BibTeX
• Peter Hertling:
  A Banach-Mazur computable but not Markov computable function on the computable real numbers. 227-246
  Electronic Edition (link) BibTeX
• Roman Wencel:
  Weak elimination of imaginaries for Boolean algebras. 247-270
  Electronic Edition (link) BibTeX
• Jörg Brendle, Shunsuke Yatabe:
  Forcing indestructibility of MAD families. 271-312
  Electronic Edition (link) BibTeX
• Jerry Gagelman:
  Stability in geometric theories. 313-326
  Electronic Edition (link) BibTeX