Annals of Pure and Applied Logic 1991: Vol 53 Index

2 Pages·1991·0.21 MB·English

Annals of Pure and Applied Logic 53 (1991) 297
North-Holland
Author Index
Volume 53 (1991)
(The issue number is given in front of the page numbers. )
(1) 1-50
ALLEN, B., Arithmetizing Uniform NC
BASARAB, S.A., Relative elimination of quantifiers for Hen-
(1) 51- 74
selian valued fields
(1) 75-102
BUSS, S.R., The undecidability of k-provability
GALLIER, J.H., What’s so special about Kruskal’s theorem and
(3) 199-260
the ordinal I,? A survey of some results in proof theory
HOLMES, M.R., Systems of combinatory logic related to
(2) 103-133
Quine’s ‘New Foundations’
(3) 261-267
JUST, W., A more direct proof of a result of Shelah
NESIN, A., PILLAY, A. and RAZENJ, V., Groups of dimen-
(3) 279-296
sion two and three over o-minimal structures
(3) 279-296
PILLAY, A., see NESIN, A.
RAZENJ, V., One-dimensional groups over an o-minimal
(3) 269-277
structure
(3) 279-296
RAZENSJ, V., see NESIN, A.
REED, R.C., A decidable Ehrenfeucht theory with exactly two
(2) 135-168
hyperarithmetic models
SEESE, D., The structure of the models of decidable monadic
(2) 169-195
theories of graphs
Elsevier Science Publishers B.V. (North-Holland)