Skip to main content
SpringerLink
Log in
Book cover

Methods in Mathematical Logic

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

  • Conference proceedings
  • © 1985

Overview

Editors:
  1. Carlos Augusto Prisco
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Pages I-VII
    Download chapter 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
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation