|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
12 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A foundation for real recursive function theory |
Costa, José Félix |
2009 |
160 | 3 |
p. 255-288 34 p. |
article |
|
| 2 | A minimalist two-level foundation for constructive mathematics |
Maietti, Maria Emilia |
2009 |
160 | 3 |
p. 319-354 36 p. |
article |
|
| 3 | A non-splitting theorem in the enumeration degrees |
Soskova, Mariya Ivanova |
2009 |
160 | 3 |
p. 400-418 19 p. |
article |
|
| 4 | Constructive equivalence relations on computable probability measures |
Bienvenu, Laurent |
2009 |
160 | 3 |
p. 238-254 17 p. |
article |
|
| 5 | Contents |
2009 |
160 | 3 |
p. iv- 1 p. |
article |
||
| 6 | On Fraïssé’s conjecture for linear orders of finite Hausdorff rank |
Marcone, Alberto |
2009 |
160 | 3 |
p. 355-367 13 p. |
article |
|
| 7 | Ordinal machines and admissible recursion theory |
Koepke, Peter |
2009 |
160 | 3 |
p. 310-318 9 p. |
article |
|
| 8 | Post’s Problem for ordinal register machines: An explicit approach |
Hamkins, Joel David |
2009 |
160 | 3 |
p. 302-309 8 p. |
article |
|
| 9 | Preface |
Buss, Samuel R. |
2009 |
160 | 3 |
p. 229-230 2 p. |
article |
|
| 10 | Reverse mathematics and well-ordering principles: A pilot study |
Afshari, Bahareh |
2009 |
160 | 3 |
p. 231-237 7 p. |
article |
|
| 11 | The jump operator on the ω -enumeration degrees |
Ganchev, Hristo |
2009 |
160 | 3 |
p. 289-301 13 p. |
article |
|
| 12 | Turing oracle machines, online computing, and three displacements in computability theory |
Soare, Robert I. |
2009 |
160 | 3 |
p. 368-399 32 p. |
article |
12 results found