nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An application of proof mining to nonlinear iterations
|
Leuştean, Laurenţiu |
|
2014 |
165 |
9 |
p. 1484-1500 17 p. |
artikel |
2 |
Avoiding uniformity in the Δ 2 0 enumeration degrees
|
Badillo, Liliana |
|
2014 |
165 |
9 |
p. 1355-1379 25 p. |
artikel |
3 |
Contents
|
|
|
2014 |
165 |
9 |
p. iv- 1 p. |
artikel |
4 |
Editorial Board
|
|
|
2014 |
165 |
9 |
p. IFC- 1 p. |
artikel |
5 |
Generics for computable Mathias forcing
|
Cholak, Peter A. |
|
2014 |
165 |
9 |
p. 1418-1428 11 p. |
artikel |
6 |
How much randomness is needed for statistics?
|
Kjos-Hanssen, Bjørn |
|
2014 |
165 |
9 |
p. 1470-1483 14 p. |
artikel |
7 |
Local induction and provably total computable functions
|
Cordón-Franco, Andrés |
|
2014 |
165 |
9 |
p. 1429-1444 16 p. |
artikel |
8 |
On effectively closed sets of effective strong measure zero
|
Higuchi, Kojiro |
|
2014 |
165 |
9 |
p. 1445-1469 25 p. |
artikel |
9 |
The axiomatic power of Kolmogorov complexity
|
Bienvenu, Laurent |
|
2014 |
165 |
9 |
p. 1380-1402 23 p. |
artikel |
10 |
The computational strengths of α-tape infinite time Turing machines
|
Rin, Benjamin |
|
2014 |
165 |
9 |
p. 1501-1511 11 p. |
artikel |
11 |
The distribution of ITRM-recognizable reals
|
Carl, Merlin |
|
2014 |
165 |
9 |
p. 1403-1417 15 p. |
artikel |
12 |
The ω-Turing degrees
|
Sariev, Andrey C. |
|
2014 |
165 |
9 |
p. 1512-1532 21 p. |
artikel |
13 |
Turing Centenary Conference: How the World Computes
|
Cooper, S. Barry |
|
2014 |
165 |
9 |
p. 1353-1354 2 p. |
artikel |