Annals of Pure and Applied Logic 1993: Vol 64 Index

1 Pages·1993·0.12 MB·English

Annals of Pure and Applied Logic 64 (1993) 293
North-Holland
Author Index
Volume 64 (1993)
(The issue number is given in front of the page numbers.)
AMBOS-SPIES, K., LACHLAN, A.H. and SOARE, R.I., The
continuity of cupping to 0’ (3) 195-209
DE PAIVA, V., see HYLAND, M. (3) 273-291
FARMER, W.M., A simple type theory with partial functions
and subtypes (3) 211-240
(2) 169-194
HART, B., see SHELAH, S.
(3) 241-271
HUBERICH, M., Large ideals on small cardinals
HYLAND, M. and DE PAIVA, V., Full intuitionistic linear
logic (extended abstract) (3) 273-291
IGNATIEV, K.N., The provability logic for £,-interpolability (1) 1- 25
KOHLENBACH, U., Effective moduli from ineffective unique-
ness proofs. An unwinding of de La Vallée Poussin’s proof for
Chebycheff approximation (1) 27- 94
LACHLAN, A.H., see AMBOS-SPIES, K. (3) 195-209
LAFLAMME, C., see SHELAH, S. (2) 169-194
RATAJCZYK, Z., Subsystems of true arithmetic and hierarchies
of functions (2) 95-152
SCHLINDWEIN, C., Suslin’s hypothesis does not imply station-
ary antichains (2) 153-167
SHELAH, S., LAFLAMME, C. and HART, B., Models with
second order properties V: A general principle (2) 169-194
SOARE, R.I., see AMBOS-SPIES, K. (3) 195-209
Elsevier Science Publishers B.V.