External Links

    Journal: Annals of Pure and Applied Logic

    Volume 58, Issue 3

    173 -- 184Christopher J. Ash. Generalizations of Enumeration Reducibility Using Recursive Infinitary Propositional Sentences
    185 -- 199Jörg Brendle, Haim Judah, Saharon Shelah. Combinatorial Properties of Hechler Forcing
    201 -- 228Ker-I Ko. On the Computational Complexity of Integral Equations
    229 -- 246Andrea Masini. 2-Sequent Calculus: A Proof Theory of Modalities
    247 -- 261Claude Sureson. Symmetric Submodels of a Cohen Generic Extension

    Volume 58, Issue 2

    93 -- 110Tomek Bartoszynski, Saharon Shelah. Closed Measure Zero Sets
    111 -- 148Carlo Celluci. Existential Instantiation and Normalization in Sequent Natural Deduction
    149 -- 172Michal Krynicki, Marcin Mostowski. Decidability Problems in Languages with Henkin Quantifiers

    Volume 58, Issue 1

    1 -- 28Derrick Albert DuBose. Determinacy and Extended Sharp Functions on the Reals, Part II: Obtaining Sharps from Determinacy
    29 -- 55Deirdre Haskell. A Transfer Theorem in Constructive p-adic Algebra
    57 -- 72Menachem Kojman, Saharon Shelah. The Universality Spectrum of Stable Unsuperstable Theories
    73 -- 92I. P. van den Berg. Extended use of IST
    runs on