|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
18 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A completeness proof for adapted probability logic |
Keisler, H.Jerome |
1986 |
31 | C |
p. 61-70 10 p. |
article |
|
| 2 | Author index volume 31 (1986) |
1986 |
31 | C |
p. 341-342 2 p. |
article |
||
| 3 | Editorial Board |
1986 |
31 | C |
p. i- 1 p. |
article |
||
| 4 | Factorization of polynomials and Σ 1 0 induction |
Simpson, Stephen G. |
1986 |
31 | C |
p. 289-306 18 p. |
article |
|
| 5 | 1-Generic degrees and minimal degrees in higher recursion theory, II |
Chong, C.T. |
1986 |
31 | C |
p. 165-175 11 p. |
article |
|
| 6 | Generic objects in recursion theory II: Operations on recursive approximation spaces |
Nerode, A. |
1986 |
31 | C |
p. 257-288 32 p. |
article |
|
| 7 | Global intuitionistic analysis |
Takeuti, Gaisi |
1986 |
31 | C |
p. 307-339 33 p. |
article |
|
| 8 | Hyperfinite models of adapted probability logic |
Keisler, H.Jerome |
1986 |
31 | C |
p. 71-86 16 p. |
article |
|
| 9 | Incorporating equality into logic programming via surface deduction |
Cox, P.T. |
1986 |
31 | C |
p. 177-189 13 p. |
article |
|
| 10 | Members of countable π 1 0 classes |
Cenzer, Douglas |
1986 |
31 | C |
p. 145-163 19 p. |
article |
|
| 11 | Paris-Harrington principles, reflection principles and transfinite induction up to ϵ 0 |
Kurata, Reijiro |
1986 |
31 | C |
p. 237-256 20 p. |
article |
|
| 12 | Preface |
Tamthai, Mark |
1986 |
31 | C |
p. 121- 1 p. |
article |
|
| 13 | Recursive categoricity and recursive stability |
Crossley, John N. |
1986 |
31 | C |
p. 191-204 14 p. |
article |
|
| 14 | Representable cylindric algebras |
Henkin, Leon |
1986 |
31 | C |
p. 23-60 38 p. |
article |
|
| 15 | Sound, totally sound, and unsound recursive equivalence types |
Downey, R.G. |
1986 |
31 | C |
p. 1-20 20 p. |
article |
|
| 16 | Structural interactions of the recursively enumerable T- and W-degrees |
Downey, R.G. |
1986 |
31 | C |
p. 205-236 32 p. |
article |
|
| 17 | The limits of E-recursive enumerability |
Sacks, Gerald E. |
1986 |
31 | C |
p. 87-120 34 p. |
article |
|
| 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. |
article |
18 results found