E.W. Beth Memorial Colloquium

Peu aprt!s la mort d'E. W. Beth, j'ai pu organiser a Paris, a l'Institut Henri Poincare, un Colloque a sa memoire. Je suis heureux qu'aujourd'hui les Actes de ce Colloque soient publies en un volume qui materialise l'hom mage que ses amis, collegues et eleves ont voulu lui rendre. Ce Colloque international qui groupait des specialistes de nationalites diverses appartenant a de nombreuses disciplines, a fait ressortir la ri chesse et la portee de l'oeuvre d'E. W. Beth et Ie rayonnement de sa personnalite. Que Madame Beth veuille bien trouver ici l'hommage que no us adres sons tous a la memoire de son mario C'est grace aux soins de la Maison d'edition D. Reidel que ce volume a pu etre realise sous une forme digne de celui que no us voulons honorer. Paris, mai 1967 J. -L. DES TOUCHES v TABLE OF CONTENTS Preface, by Jean-Louis Destouches v G. H. VON WRIGHT / Memorial Address 1 J. -L. DES TOUCHES / Allocution 2 A. HEYTING / Remarques sur la theorie intuitionniste des espaces lineaires 4 K. L. DE BOUVERE / Some Remarks about Synonymity and the Theorem of Beth 10 J. J. F. NIELAND / Beth's Tableau-Method 19 MARCEL GUILLAUME / Quelques remarques sur les "Tableaux de Beth" 39 ROLAND FRAisSE / Une hypothese sur I'extension des relations finies et sa verification dans certaines classes particulieres ( deuxieme partie) 46 J. J. A.