|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
17 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A domain model characterising strong normalisation |
Berger, Ulrich |
2008 |
156 | 1 |
p. 39-50 12 p. |
article |
|
| 2 | A note on a theorem of Ax |
Kowalski, Piotr |
2008 |
156 | 1 |
p. 96-109 14 p. |
article |
|
| 3 | Aspects of predicative algebraic set theory I: Exact completion |
van den Berg, Benno |
2008 |
156 | 1 |
p. 123-159 37 p. |
article |
|
| 4 | Π 1 0 classes, L R degrees and Turing degrees |
Barmpalias, George |
2008 |
156 | 1 |
p. 21-38 18 p. |
article |
|
| 5 | Computable categoricity and the Ershov hierarchy |
Khoussainov, Bakhadyr |
2008 |
156 | 1 |
p. 86-95 10 p. |
article |
|
| 6 | Contents |
2008 |
156 | 1 |
p. vi- 1 p. |
article |
||
| 7 | Editorial Board |
2008 |
156 | 1 |
p. IFC- 1 p. |
article |
||
| 8 | Effectively closed sets of measures and randomness |
Reimann, Jan |
2008 |
156 | 1 |
p. 170-182 13 p. |
article |
|
| 9 | Martin’s Maximum and definability in H ( ℵ 2 ) |
Larson, Paul B. |
2008 |
156 | 1 |
p. 110-122 13 p. |
article |
|
| 10 | Ordinal analysis of non-monotone Π 1 0 -definable inductive definitions |
Pohlers, Wolfram |
2008 |
156 | 1 |
p. 160-169 10 p. |
article |
|
| 11 | Parameter-free polymorphic types |
Aehlig, Klaus |
2008 |
156 | 1 |
p. 3-12 10 p. |
article |
|
| 12 | Preface |
Cooper, S. Barry |
2008 |
156 | 1 |
p. 1-2 2 p. |
article |
|
| 13 | Structural properties of Q -degrees of n-c. e. sets |
Arslanov, M.M. |
2008 |
156 | 1 |
p. 13-20 8 p. |
article |
|
| 14 | The associated sheaf functor theorem in algebraic set theory |
Gambino, Nicola |
2008 |
156 | 1 |
p. 68-77 10 p. |
article |
|
| 15 | The nonstandard quantum plane |
Herzog, Ivo |
2008 |
156 | 1 |
p. 78-85 8 p. |
article |
|
| 16 | The upward closure of a perfect thin class |
Downey, Rod |
2008 |
156 | 1 |
p. 51-58 8 p. |
article |
|
| 17 | What is o-minimality? |
Friedman, Harvey M. |
2008 |
156 | 1 |
p. 59-67 9 p. |
article |
17 results found