External Links

    Journal: Annals of Pure and Applied Logic

    Volume 136, Issue 3

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

    Volume 136, Issue 1-2

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