nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A strong boundedness theorem for dilators
|
Kechris, A.S. |
|
1991 |
52 |
1-2 |
p. 93-97 5 p. |
artikel |
2 |
Bounded arithmetic and the polynomial hierarchy
|
Krajíček, Jan |
|
1991 |
52 |
1-2 |
p. 143-153 11 p. |
artikel |
3 |
Boundedness theorems for dilators and ptykes
|
S. Kechris, Alexander |
|
1991 |
52 |
1-2 |
p. 79-92 14 p. |
artikel |
4 |
Constructive compact operators on a Hilbert space
|
Ishihara, Hajime |
|
1991 |
52 |
1-2 |
p. 31-37 7 p. |
artikel |
5 |
Degrees of orderings not isomorphic to recursive linear orderings
|
Jockusch Jr., Carl G. |
|
1991 |
52 |
1-2 |
p. 39-64 26 p. |
artikel |
6 |
From discrete to continuous time
|
Keisler, H.Jerome |
|
1991 |
52 |
1-2 |
p. 99-141 43 p. |
artikel |
7 |
Nonstandard arithmetic of Hilbert subsets
|
Yasumoto, Masahiro |
|
1991 |
52 |
1-2 |
p. 195-202 8 p. |
artikel |
8 |
Preface
|
Shinoda, Juichi |
|
1991 |
52 |
1-2 |
p. 1- 1 p. |
artikel |
9 |
Propositional consistency proofs
|
Buss, Samuel R. |
|
1991 |
52 |
1-2 |
p. 3-29 27 p. |
artikel |
10 |
Regressive partition relations, n-subtle cardinals, and Borel diagonalization
|
Kanamori, Akihiro |
|
1991 |
52 |
1-2 |
p. 65-77 13 p. |
artikel |
11 |
The density of infima in the recursively enumerable degrees
|
Slaman, Theodore A. |
|
1991 |
52 |
1-2 |
p. 155-179 25 p. |
artikel |
12 |
Weak axioms of determinacy and subsystems of analysis II (∑0 2 games)
|
Tanaka, Kazuyuki |
|
1991 |
52 |
1-2 |
p. 181-193 13 p. |
artikel |