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