External Links

    Journal: Annals of Pure and Applied Logic

    Volume 59, Issue 3

    159 -- 173Samuel R. Buss. Intuitionistic Validity in T-Normal Kripke Structures
    175 -- 199Rodney G. Downey, Michael Stob. Friedberg Splittings of Recursively Enumerable Sets
    201 -- 217Jean-Yves Girard. On the Unity of Logic
    219 -- 238Moti Gitik, Saharon Shelah. More on Simple Forcing Notions and Forcings with Ideals
    239 -- 256Sabine Koppelberg. A Construction of Boolean Algebras from First-Order Structures
    257 -- 272Masahiro Kumabe. Generic Degrees are Complemented
    273 -- 286Lian Li, Huilin Li, Yixun Liu. A Decision Algorithm for Linear Sentences on a PFM

    Volume 59, Issue 2

    79 -- 139Douglas A. Cenzer, Rodney G. Downey, Carl G. Jockusch Jr., Richard A. Shore. Countable Thin Pi:::0:::::1:: Classes
    141 -- 156Kevin Lano. The Intuitionistic Alternative Set Theory

    Volume 59, Issue 1

    1 -- 32Uri Abraham, Saharon Shelah. A Delta:::2:::::2:: Well-Order of the Reals and Incompactness of L(Q:::MM:::)
    33 -- 43Xavier Caicedo. Compactness and Normality in Abstract Logics
    45 -- 53M. Randall Holmes. Systems of Combinatory Logic Related to Predicative and Mildly Impredicative Fragments of Quine s New Foundations
    55 -- 63John Love. Stability among r.e. Quotient Algebras
    65 -- 78Xiaokang Yu. Riesz Representation Theorem, Borel Measures and Subsystems of Second-Order Arithmetic
    runs on