Annals of Pure and Applied Logic, Volume 107

Volume 107, Number 1-3, 15 January 2001

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