Studies in Logic and the Foundations of Mathematics

STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 145

Honorary Editor: P. SUPPES

Editors: S. ABRAMSKY, Oxford S. ARTEMOV, Moscow D.M. GABBAY, London R.A. SHORE, Ithaca A.S. TROELSTRA, Amsterdam

ELSEVIER AMSTERDAM • LONDON • NEW YORK • OXFORD • PARIS • SHANNON • TOKYO