|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
10 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Focussing and proof construction |
Andreoli, Jean-Marc |
2001 |
107 | 1-3 |
p. 131-163 33 p. |
article |
|
| 2 | Index |
2001 |
107 | 1-3 |
p. 239- 1 p. |
article |
||
| 3 | Interpreting N in the computably enumerable weak truth table degrees |
Nies, André |
2001 |
107 | 1-3 |
p. 35-48 14 p. |
article |
|
| 4 | Intersection theory for o-minimal manifolds |
Berarducci, Alessandro |
2001 |
107 | 1-3 |
p. 87-119 33 p. |
article |
|
| 5 | Model completion of Lie differential fields |
Yaffe, Yoav |
2001 |
107 | 1-3 |
p. 49-86 38 p. |
article |
|
| 6 | Normalization without reducibility |
David, René |
2001 |
107 | 1-3 |
p. 121-130 10 p. |
article |
|
| 7 | Reflection of elementary embedding axioms on the L[Vλ+1] hierarchy |
Laver, Richard |
2001 |
107 | 1-3 |
p. 227-238 12 p. |
article |
|
| 8 | Some orbits for E |
Cholak, Peter |
2001 |
107 | 1-3 |
p. 193-226 34 p. |
article |
|
| 9 | Subtle cardinals and linear orderings |
Friedman, Harvey M. |
2001 |
107 | 1-3 |
p. 1-34 34 p. |
article |
|
| 10 | Z -modules and full completeness of multiplicative linear logic |
Hamano, Masahiro |
2001 |
107 | 1-3 |
p. 165-191 27 p. |
article |
10 results found