Advertisement

Methods in Mathematical Logic

Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1–6, 1983

  • Editors
  • Carlos Augusto Di Prisco

Part of the Lecture Notes in Mathematics book series (LNM, volume 1130)

Table of contents

  1. Front Matter
    Pages I-VII
  2. Rolando Chuaqui, Leopoldo Bertossi
    Pages 13-31
  3. P. Clote
    Pages 32-68
  4. Carlos A. Di Prisco, Wiktor Marek
    Pages 151-156
  5. Itala M. L. D’Ottaviano
    Pages 157-173
  6. J. M. Henle, A. R. D. Mathias, W. Hugh Woodin
    Pages 195-207
  7. E. G. K. Lopez-Escobar
    Pages 208-221
  8. M. Makkai
    Pages 222-309
  9. Jerome I. Malitz
    Pages 310-316
  10. J. Paris, A. Wilkie
    Pages 317-340
  11. Ramon Pino, Jean-Pierre Ressayre
    Pages 341-350
  12. Alexander Prestel
    Pages 351-359
  13. William N. Reinhardt, Rolando Chuaqui
    Pages 385-394

About these proceedings

Keywords

Logic mathematical logic model theory proof ultraproduct

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0075303
  • Copyright Information Springer-Verlag Berlin Heidelberg 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-15236-1
  • Online ISBN 978-3-540-39414-3
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • Buy this book on publisher's site