Mathematical Interpretation of Formal Systems

Edited by
  • Th. Skolem
  • G. Hasenjaeger
  • G. Kreisel
  • A. Robinson
  • Hao Wang
  • L. Henkin
  • J. Łoś
Volume 16,

Pages iv-vi, 1-113 (1955)

Actions for selected chapters

/

  1. Edited by

    Page iv
    View PDF
  2. Edited by

    Page v
    View PDF
  3. Copyright page

    Page vi
  4. Peano's Axioms and Models of Arithmetic

    Pages 1-14
  5. On Definability and Derivability

    Pages 15-25
  6. Models, Translations and Interpretations

    Pages 26-50
  7. Ordered Structures and Related Concepts

    Pages 51-56
  8. On Denumerable Bases of Formal Systems

    Pages 57-84
  9. The Representation Theorem for Cylindrical Algebras

    Pages 85-97
  10. Quelques Remarques, Théorèmes Et Problèmes Sur Les Classes Définissables D'algèbres

    Pages 98-113

ISBN: 978-0-444-53381-4

ISSN: 0049-237X