Annals of Pure and Applied Logic 1997: Vol 89 Index

2 Pages·1997·0.2 MB·English

ANNALS OF
PURE AND
APPLIED LOGIC
Annals of Pure and Applied Logic 89 (1997) 277
Author Index
Volume 89 (1997)
(The issue number is given in front of the page numbers.)
Andreka, H., Complexity of equations valid in algebras of
relations. Part I: Strong non-finitizability (2-3) 149—209
Andreka, H., Complexity of equations valid in algebras of
relations. Part II: Finite axiomatizations (2-3) 211-229
Apter, A.W., Patterns of compact cardinals (2-3) 101-115
Beltiukov, A.P., Intuitionistic formal theories with realizability
in subrecursive classes (1) 3— 15
Bes, A., On Pascal triangles modulo a prime power (1) 17— 35
Bloch, S., On parallel hierarchies and Rj, (2-3) 231-273
Friedman, Sy D. and Velickovic, B., 4,-Definability (1) 93— 99
Hodkinson, I., Atom structures of cylindric algebras and
relation algebras (2-3) 117-148
Kaye, R., Infinitary definitions of equivalence relations in
models of PA (1) 37— 43
Korec, I., Theories of generalized Pascal triangles (1) 45— 52
Maurin, F., Ehrenfeucht games and ordinal addition (1) 53-— 73
Mildenberger, H., Order types of free subsets (1) 75— 83
Velickovic, B., see Friedman Sy D. (1) 93— 99
Wagner, F.O., On the structure of stable groups (1) 85— 92
Elsevier Science B.V.