Skip to main content
  • Conference proceedings
  • © 1985

Methods in Mathematical Logic

Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983

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

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (18 papers)

  1. Front Matter

    Pages I-VII
  2. Approximation to truth and theory of errors

    • Rolando Chuaqui, Leopoldo Bertossi
    Pages 13-31
  3. Partition relations in arithmetic

    • P. Clote
    Pages 32-68
  4. On the space (λ)κ

    • Carlos A. Di Prisco, Wiktor Marek
    Pages 151-156
  5. The model extension theorems for Л3-theories

    • Itala M. L. D’Ottaviano
    Pages 157-173
  6. A barren extension

    • J. M. Henle, A. R. D. Mathias, W. Hugh Woodin
    Pages 195-207
  7. Proof functional connectives

    • E. G. K. Lopez-Escobar
    Pages 208-221
  8. Ultraproducts and categorical logic

    • M. Makkai
    Pages 222-309
  9. Problems in taxonomy, a floating log

    • Jerome I. Malitz
    Pages 310-316
  10. Counting problems in bounded arithmetic

    • J. Paris, A. Wilkie
    Pages 317-340
  11. Definable ultrafilters and elementary end extensions

    • Ramon Pino, Jean-Pierre Ressayre
    Pages 341-350
  12. On the axiomatization of PRC-fields

    • Alexander Prestel
    Pages 351-359
  13. Types in class set theories

    • William N. Reinhardt, Rolando Chuaqui
    Pages 385-394

Keywords

  • Logic
  • mathematical logic
  • model theory
  • proof
  • ultraproduct

Bibliographic Information

  • Book Title: Methods in Mathematical Logic

  • Book Subtitle: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983

  • Editors: Carlos Augusto Prisco

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0075303

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1985

  • Softcover ISBN: 978-3-540-15236-1Published: 01 June 1985

  • eBook ISBN: 978-3-540-39414-3Published: 14 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: X, 410

  • Topics: Mathematical Logic and Foundations

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions