Skip to main content
  • Conference proceedings
  • © 1973

Cambridge Summer School in Mathematical Logic

Held in Cambridge /U. K., August 1-21, 1971

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

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 (24 papers)

  1. Front Matter

    Pages N2-IX
  2. Lectures on intuitionism

    • D. van Dalen
    Pages 1-94
  3. Realizability: A retrospective survey

    • S. C. Kleene
    Pages 95-112
  4. Notes on intuitionistic second order arithmetic

    • A. S. Troelstra
    Pages 171-205
  5. The arithmetic theory of constructions

    • Nicolas D. Goodman
    Pages 274-298
  6. Admissible ordinals and priority arguments

    • Manuel Lerman
    Pages 311-344
  7. Infinitary combinatorics

    • E. M. Kleinberg
    Pages 361-418
  8. The maximum sum of a family of ordinals

    • John A. H. Anderson
    Pages 419-438
  9. On descendingly complete ultrafilters

    • Karel Prikry
    Pages 459-488
  10. On chromatic number of graphs and set systems

    • P. Erdös, A. Hajnal, B. Rothchild
    Pages 531-538
  11. Countable models of set theories

    • Harvey Friedman
    Pages 539-573

Keywords

  • Mathematische Logik
  • Summer School in Mathematical Logic
  • logic
  • mathematical logic
  • model theory
  • set theory

Bibliographic Information

  • Book Title: Cambridge Summer School in Mathematical Logic

  • Book Subtitle: Held in Cambridge /U. K., August 1-21, 1971

  • Editors: A. R. D. Mathias, H. Rogers

  • Series Title: Lecture Notes in Mathematics

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1973

  • Softcover ISBN: 978-3-540-05569-3Published: 15 August 1973

  • eBook ISBN: 978-3-540-36884-7Published: 15 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: XII, 664

  • Topics: Mathematical Logic and Foundations, Formal Languages and Automata Theory

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