Methods in Mathematical Logic Proceedings of the 6th Latin American
- PDF / 26,262,021 Bytes
- 415 Pages / 468 x 684 pts Page_size
- 30 Downloads / 200 Views
1130 Methods in Mathematical Logic Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1-6, 1983
Edited by C. A. Di Prisco
Springer-Verlag Berlin Heidelberg New York Tokyo
Editor
Carlos Augusto Di Prisco Instituto Venezolano de Investigaciones Cientrficas Departamento de Matematicas Apartado 1827, Caracas 10l0-A, Venezuela
ISBN 3-540-15236-9 Springer-Verlag Berlin Heidelberg New York Tokyo ISBN 0-387-15236-9 Springer-Verlag New York Heidelberg Berlin Tokyo
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to "Verwertungsgesellschaft Wort", Munich.
© by Springer-Verlag Berlin Heidelberg 1985 Printed in Germany Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr. 2146/3140-543210
PREFACE The VI Latin American Symposium on Mathematical Logic was held . in Caracas, Venezuela from the 1 st to the 6 th of August 1983. The was sponsored by Asociaci6n Venezolana para el Avance de la Ciencia (AsoVAC), Consejo Nacional de Investigaciones Cient1ficas y Tecno16gicas (CONICIT), Fundaci6n Polar, IBM de Venezuela, Instituto Venezolano de Investigaciones Cient1ficas (IVIC), Universidad Central de Venezuela, The National Science Foundation of the United States of America, The British Council, The French Government, Division of Logic, Methodology and Philosophy of Science of the International Union for History and Philosophy of Science, Organization of American States. The Program Committee was formed by Xavier Caicedo (Universidad de los Andes, Bogota, Colombia), Rolando Chuaqui (Pontificia Universidad Cat6lica de Chile, Santiago, Chile), Newton C. A. da Costa (Universidade de Sao Paulo, Brasil) and Carlos Augusto Di Prisco (Instituto Venezolano de Investigaciones Cient1ficas y Universidad Central de Venezuela). IVIC's Centro de Estudios Avanzados sponsored a seminar consisting in five short courses of ten hours each. The courses were: NonClessical Logics by Newton C. A. da Costa, Some Aspects of the Theory of Large Cardinals by Wiktor Marek (Warsaw University), Mathematical Practice and Subsystems of Second Order Arithmetic by Stephen Simpson (Pennsylvania State University), The wrule by E. G. K. LopezEscobar (University of Maryland), and Logic, Real Algebra and Real Geometry by Maximo Dickmann de Paris VIICNRS). The courses were attended by participants fron Argentina, Chile, Mexico, Italy and Venezuela. The Ateneo de Caracas and the Consejo Nacional para el Desarrollo de la Energfa Nuclear hosted a panel discusssion on the Philosophy of Mathematics with the participation of Newton C. A. da Costa, Rolando Chuaqui, George Wilmers (Manchester University) and Vincenzo P. Lo Monaco, Pedro Luberes and Juan Nuno of the Institue of
