Volume 107; Issue 1-3

Annals of Pure and Applied Logic

Volume 107; Issue 1-3
1

Subtle cardinals and linear orderings

Harvey M. Friedman
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 228 KB
english, 2001
2

Interpreting N in the computably enumerable weak truth table degrees

André Nies
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 129 KB
english, 2001
3

Model completion of Lie differential fields

Yoav Yaffe
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 250 KB
english, 2001
4

Intersection theory for o-minimal manifolds

Alessandro Berarducci, Margarita Otero
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 233 KB
english, 2001
5

Z-modules and full completeness of multiplicative linear logic

Masahiro Hamano
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 202 KB
english, 2001
6

Normalization without reducibility

René David
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 90 KB
english, 2001
7

Focussing and proof construction

Jean-Marc Andreoli
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 325 KB
english, 2001
8

Reflection of elementary embedding axioms on the L[Vλ+1] hierarchy

Richard Laver
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 149 KB
english, 2001
9

Some orbits for E

Peter Cholak, Rod Downey, Eberhard Herrmann
Journal:
Annals of Pure and Applied Logic
Year:
2001
Language:
english
File:
PDF, 252 KB
english, 2001
10

Index

Journal:
Annals of Pure and Applied Logic
Year:
2001
File:
PDF, 30 KB
2001