Annals of Pure and Applied Logic 1991: Vol 52 Index

1 Pages·1991·0.13 MB·English

Annals of Pure and Applied Logic 52 (1991) 309
North-Holland
Author Index
Volume 52 (1991)
(The issue number is given in front of the page numbers.)
(1-2) 3-29
BUSS, S.R., Propositional consistency proofs
HYTTINEN, T. and TUURI, H., Constructing strongly equiv-
(3) 203-248
alent nonisomorphic models for unstable theories
ISHIHARA, H., Constructive compact operators on a Hilbert
(1-2) 31- 37
space
JOCKUSCH Jr, C.G. and SOARE, R.I., Degrees of orderings
(1-2) 39- 64
not isomorphic to recursive linear orderings
KANAMORI, A., Regressive partition relations, n-subtle car-
dinals, and Borel diagonalization (1-2) 65— 77
KECHRIS, A.S., Boundedness theorems for dilators and ptykes (1-2) 79— 92
KECHRIS, A.S. and WOODIN, W.H., A strong boundedness
theorem for dilators (1-2) 93- 97
KEISLER, H.J., From discrete to continuous time (1-2) 99-141
KRAJICEK, J., PUDLAK, P. and TAKEUTI, G., Bounded
(1-2) 143-153
arithmetic and the polynomial hierarchy
MANCOSU, P., Generalizing classical and effective model
theory in theories of operations and classes (3) 249-308
PUDP.L, seAe KRKAJIC,EK, J. (1-2) 143-153
(1-2) 1
SHINODA, J. and TUGUE, T., Preface
SLAMAN, T.A., The density of infima in the recursively
(1-2) 155-179
enumerable degrees
(1-2) 39- 64
SOARE, R.I., see JOCKUSCH Jr, C.G.
TAKEG., UseeT KRAIJIC,EK, J. (1-2) 143-153
TANAKA, K., Weak systems of determinacy and subsystems of
analysis II (22 games) (1-2) 181-193
TUGT., Usee ESHIN,ODA, J. (1-2) 1
(3) 203-248
TUURI, H., see HYTTINEN, T.
(1-2) 93- 97
WOODIN, W.H., see KECHRIS, A.S.
(1-2) 195-202
YASUMOTO, M., Nonstandard arithmetic of Hilbert subsets
Elsevier Science Publishers B.V. (North-Holland)