Annals of Pure and Applied Logic, Volume 136

Volume 136, Numbers 1-2, October 2005

• Arnold Beckmann, Jeremy Avigad, Georg Moser:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Toshiyasu Arai:
  Ideas in the epsilon substitution method for II ₁ ⁰-FIX. 3-21
  Electronic Edition (link) BibTeX
• Matthias Baaz:
  Controlling witnesses. 22-29
  Electronic Edition (link) BibTeX
• Arnold Beckmann, Samuel R. Buss:
  Separation results for the size of constant-depth propositional proofs. 30-55
  Electronic Edition (link) BibTeX
• Lev D. Beklemishev, Albert Visser:
  On the limit existence principles in elementary arithmetic and Sigma _n ⁰-consequences of theories. 56-74
  Electronic Edition (link) BibTeX
• Wilfried Buchholz:
  A term calculus for (co-)recursive definitions on streamlike data structures. 75-90
  Electronic Edition (link) BibTeX
• Andrea Cantini:
  Remarks on applicative theories. 91-115
  Electronic Edition (link) BibTeX
• Gerhard Jäger, Thomas Strahm:
  Reflections on reflections in explicit mathematics. 116-133
  Electronic Edition (link) BibTeX
• Makoto Tatsuta, Grigori Mints:
  A simple proof of second-order strong normalization with permutative conversions. 134-155
  Electronic Edition (link) BibTeX
• Michael Rathjen:
  Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory. 156-174
  Electronic Edition (link) BibTeX
• Stanley S. Wainer, Richard S. Williams:
  Inductive definitions over a predicative arithmetic. 175-188
  Electronic Edition (link) BibTeX
• Andreas Weiermann:
  Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results. 189-218
  Electronic Edition (link) BibTeX

Volume 136, Number 3, November 2005

• Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell Miller, Reed Solomon:
  Enumerations in computable structure theory. 219-246
  Electronic Edition (link) BibTeX
• Neil Thapen:
  Structures interpretable in models of bounded arithmetic. 247-266
  Electronic Edition (link) BibTeX
• Alexandra Shlapentokh:
  First-order definitions of rational functions and s-integers over holomorphy rings of algebraic functions of characteristic 0. 267-283
  Electronic Edition (link) BibTeX
• Salma Kuhlmann, Saharon Shelah:
  k-bounded exponential-logarithmic power series fields. 284-296
  Electronic Edition (link) BibTeX
• Richard Coles, Rodney G. Downey, Carl G. Jockusch Jr., Geoffrey LaForte:
  Completing pseudojump operators. 297-333
  Electronic Edition (link) BibTeX