Skip to main content
SpringerLink
Log in

Higher Set Theory

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

  • Conference proceedings
  • © 1978

Overview

Editors:
  1. Gert H. Müller
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dana S. Scott
    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 669)

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

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Wellordered subclasses of proper classes

    • U. Felgner, T. B. Flannagan
    Pages 1-14

  3. A proof of foundation from axioms of cumulation

    • Harvey Friedman
    Pages 15-16

  4. Categoricity with respect to ordinals

    • Harvey Friedman
    Pages 17-20

  5. Classically and intuitionistically provably recursive functions

    • Harvey Friedman
    Pages 21-27

  6. Hierarchies of sets definably by means of infinitary languages

    • Klaus Gloede
    Pages 29-54

  7. Some results on degrees of constructibility

    • Petr Hájek
    Pages 55-71

  8. Constructive universes I

    • Herman Ruge Jervell
    Pages 73-98

  9. The evolution of large cardinal axioms in set theory

    • A. Kanamori, M. Magidor
    Pages 99-275

  10. Forcing in analysis

    • Alexander S. Kechris
    Pages 277-302

  11. Recursivity and compactness

    • A. Louveau
    Pages 303-337

  12. Fine structure theory of the constructible universe in α- and β-recursion theory

    • Wolfgang Maass
    Pages 339-359

  13. On a class of models of the n-th order arithmetic

    • W. Marek, P. Zbierski
    Pages 361-374

  14. O# and the p-point problem

    • A. R. D. Mathias
    Pages 375-384

  15. A combinatorial characterization of inaccessible cardinals

    • Kenneth Mc Aloon
    Pages 385-390

  16. Singular cardinals and analytic games

    • Marian Srebrny
    Pages 391-422

  17. Regressive functions and stationary sets

    • Karsten Steffens
    Pages 423-435

  18. Cardinals in the inner model HOD

    • Petr Å tÄ›pánek
    Pages 437-454

  19. Partitions of the real line into X 1 closed sets

    • Jacques Stern
    Pages 455-460

  20. Gödel numbers of product spaces

    • Gaisi Takeuti
    Pages 461-471
Back to top

Keywords

Bibliographic Information

  • Book Title: Higher Set Theory

  • Book Subtitle: Proceedings, Oberwolfach, Germany, April 13-23, 1977

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

  • Series Title: Lecture Notes in Mathematics

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1978

  • Softcover ISBN: 978-3-540-08926-1Published: 01 September 1978

  • eBook ISBN: 978-3-540-35749-0Published: 05 January 2007

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: X, 110

  • Topics: Mathematics, general

Publish with us

Policies and ethics

Back to top

Search

Navigation