External Links

    Journal: Annals of Pure and Applied Logic

    Volume 107, Issue 1-3

    1 -- 34Harvey M. Freidman. Subtle cardinals and linear orderings
    35 -- 48André Nies. Interpreting N in the computably enumerable weak truth talble degrees
    49 -- 85Yoav Yaffe. Model completion of Lie differential fields
    87 -- 119Alessandro Berarducci, Margarita Otero. Intersection theory for 0-minimal manifolds
    121 -- 130René David. Normalization without reducibility
    131 -- 163Jean-Marc Andreoli. Focussing and proof construction
    165 -- 191Masahiro Hamano. Z-modules and ful completeness of multiplicative linear logic
    193 -- 226Peter Cholak, Rodney G. Downey, Eberhard Herrmann. Some orbits for E
    227 -- 238Richard Laver. Reflection of elementary embedding axioms on the L[V Lambda::+1::] hierarchy
    runs on