Advertisement

Higher Set Theory

Proceedings, Oberwolfach, Germany, April 13–23, 1977

  • Editors
  • Gert H. Müller
  • Dana S. Scott

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. U. Felgner, T. B. Flannagan
    Pages 1-14
  3. Harvey Friedman
    Pages 17-20
  4. Herman Ruge Jervell
    Pages 73-98
  5. A. Kanamori, M. Magidor
    Pages 99-275
  6. Alexander S. Kechris
    Pages 277-302
  7. A. Louveau
    Pages 303-337
  8. W. Marek, P. Zbierski
    Pages 361-374
  9. A. R. D. Mathias
    Pages 375-384
  10. Marian Srebrny
    Pages 391-422
  11. Karsten Steffens
    Pages 423-435
  12. Petr Štěpánek
    Pages 437-454
  13. Gaisi Takeuti
    Pages 461-471
  14. Back Matter
    Pages 477-478

About these proceedings

Keywords

Arithmetic Menge (Math.) function ordinal proof recursion well-ordering principle

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0103096
  • Copyright Information Springer-Verlag Berlin Heidelberg 1978
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-08926-1
  • Online ISBN 978-3-540-35749-0
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences