nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A completeness proof for adapted probability logic
|
Keisler, H.Jerome |
|
1986 |
31 |
C |
p. 61-70 10 p. |
artikel |
2 |
Author index volume 31 (1986)
|
|
|
1986 |
31 |
C |
p. 341-342 2 p. |
artikel |
3 |
Editorial Board
|
|
|
1986 |
31 |
C |
p. i- 1 p. |
artikel |
4 |
Factorization of polynomials and Σ 1 0 induction
|
Simpson, Stephen G. |
|
1986 |
31 |
C |
p. 289-306 18 p. |
artikel |
5 |
1-Generic degrees and minimal degrees in higher recursion theory, II
|
Chong, C.T. |
|
1986 |
31 |
C |
p. 165-175 11 p. |
artikel |
6 |
Generic objects in recursion theory II: Operations on recursive approximation spaces
|
Nerode, A. |
|
1986 |
31 |
C |
p. 257-288 32 p. |
artikel |
7 |
Global intuitionistic analysis
|
Takeuti, Gaisi |
|
1986 |
31 |
C |
p. 307-339 33 p. |
artikel |
8 |
Hyperfinite models of adapted probability logic
|
Keisler, H.Jerome |
|
1986 |
31 |
C |
p. 71-86 16 p. |
artikel |
9 |
Incorporating equality into logic programming via surface deduction
|
Cox, P.T. |
|
1986 |
31 |
C |
p. 177-189 13 p. |
artikel |
10 |
Members of countable π 1 0 classes
|
Cenzer, Douglas |
|
1986 |
31 |
C |
p. 145-163 19 p. |
artikel |
11 |
Paris-Harrington principles, reflection principles and transfinite induction up to ϵ 0
|
Kurata, Reijiro |
|
1986 |
31 |
C |
p. 237-256 20 p. |
artikel |
12 |
Preface
|
Tamthai, Mark |
|
1986 |
31 |
C |
p. 121- 1 p. |
artikel |
13 |
Recursive categoricity and recursive stability
|
Crossley, John N. |
|
1986 |
31 |
C |
p. 191-204 14 p. |
artikel |
14 |
Representable cylindric algebras
|
Henkin, Leon |
|
1986 |
31 |
C |
p. 23-60 38 p. |
artikel |
15 |
Sound, totally sound, and unsound recursive equivalence types
|
Downey, R.G. |
|
1986 |
31 |
C |
p. 1-20 20 p. |
artikel |
16 |
Structural interactions of the recursively enumerable T- and W-degrees
|
Downey, R.G. |
|
1986 |
31 |
C |
p. 205-236 32 p. |
artikel |
17 |
The limits of E-recursive enumerability
|
Sacks, Gerald E. |
|
1986 |
31 |
C |
p. 87-120 34 p. |
artikel |
18 |
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
|
Brown, Douglas K. |
|
1986 |
31 |
C |
p. 123-144 22 p. |
artikel |