Annals of Pure and Applied Logic 1993: Vol 62 Index

2 Pages·1993·0.3 MB·English

Annals of Pure and Applied Logic 62 (1993) 295
North-Holland
Author Index
Volume 62 (1993)
(The issue number is given in front of the page numbers.)
DOSEN, K.., Rudimentary Kripke models for the intuitionistic
(1) 21- 49
propositional calculus
EVANS, D.M. and HRUSHOVSKI, E., On the automorphism
(2) 83-112
groups of finite covers
FRIEDMAN, H., SIMPSON, S.G. and YU, X., Periodic points
(1) 51- 64
and subsystems of second-order arithmetic
GREIF, A.D. and LASKOWSKI, M.C., An omitting types
(2) 113-118
theorem for saturated structures
HART, B., PILLAY, A. and STARCHENKO, §S., Triviality,
(2) 119-146
NDOP and stable varieties
(2) 147-166
HRUSHOVSKI, E., A new strongly minimal set
(2) 83-112
HRUSHOVSKI, E., see EVANS, D.M.
(3) 207-263
KADDAH, D., Infima in the d.r.e. degrees
(2) 113-118
LASKOWSKI, M.C., see GREIF, A.D.
MARCJA, A., PREST, M. and TOFFALORI, C., On the
(2) 167-173
undecidability of some classes of abelian-by-finite groups
MINTS, G., A normal form for logical derivations implying one
(1) 65— 79
for arithmetic derivations
PILLAY, A. and ROTHMALER, P., Unidimensional modules:
(2) 175-181
uniqueness of maximal non-modular submodules
(2) 119-146
PILLAY, A., see HART, B.
(2) 183-205
PREST, M., Remarks on elementary duality
(2) 167-173
PREST, M., see MARCJA, A.
(2) 175-181
ROTHMALER, P., see PILLAY, A.
(1) 51- 64
SIMPSON, S.G., see FRIEDMAN, H.
(2) 119-146
STARCHENKO, S., see HART, B.
(2) 167-173
TOFFALORI, C., see MARCIA, A.
(1) 1- 16
VAUZEILLES, J., Cut elimination for the Unified Logic
YAKHNIS, A. and YAKHNIS, V., Gurevich—Harrington’s
(3) 265-294
games defined by finite automata
(3) 265-294
YAKHNIS, V., see YAKHNIS, A.
(1) 51- 64
YU, X., see FRIEDMAN, H.
Elsevier Science Publishers B.V.