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
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages I-VII
    PDF
  2. Failure of interpolation for quantifiers of monadic type
    Xavier Caicedo
    Pages 1-12
  3. Approximation to truth and theory of errors
    Rolando Chuaqui, Leopoldo Bertossi
    Pages 13-31
  4. Partition relations in arithmetic
    P. Clote
    Pages 32-68
  5. On the axiomatizability of sets in a class theory
    Manuel Corrada C.
    Pages 69-75
  6. Applications of model theory to real algebraic geometry
    M. A. Dickmann
    Pages 76-150
  7. On the space (λ)κ
    Carlos A. Di Prisco, Wiktor Marek
    Pages 151-156
  8. The model extension theorems for Л3-theories
    Itala M. L. D’Ottaviano
    Pages 157-173
  9. Completeness theorems for the general theory of stochastic processes
    Sergio Fajardo
    Pages 174-194
  10. A barren extension
    J. M. Henle, A. R. D. Mathias, W. Hugh Woodin
    Pages 195-207
  11. Proof functional connectives
    E. G. K. Lopez-Escobar
    Pages 208-221
  12. Ultraproducts and categorical logic
    M. Makkai
    Pages 222-309
  13. Problems in taxonomy, a floating log
    Jerome I. Malitz
    Pages 310-316
  14. Counting problems in bounded arithmetic
    J. Paris, A. Wilkie
    Pages 317-340
  15. Definable ultrafilters and elementary end extensions
    Ramon Pino, Jean-Pierre Ressayre
    Pages 341-350
  16. On the axiomatization of PRC-fields
    Alexander Prestel
    Pages 351-359
  17. Formalizations of certain intermediate logics Part I
    Cecylia Rauszer
    Pages 360-384
  18. Types in class set theories
    William N. Reinhardt, Rolando Chuaqui
    Pages 385-394
  19. Generic extensions which do not ADD random reals
    Jacques Stern
    Pages 395-407

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