Sets and classes on the work by Paul Bernays
Provability, Computability and Reflection
Main Author: | |
---|---|
Other Authors: | |
Format: | eBook |
Language: | English |
Published: |
Amsterdam
North-Holland Pub. Co.
1976, 1976
|
Series: | Studies in logic and the foundations of mathematics
|
Subjects: | |
Online Access: | |
Collection: | Elsevier eBook collection Mathematics - Collection details see MPG.ReNa |
Table of Contents:
- Includes bibliographical references and index
- Front Cover; Sets and Classes; Copyright Page; Preface; Contents; Paul Bernays-a short biography; Kurze Biographie; List of publications; Chapter 1. A system of axiomatic set theory; Chapter 2. On the problem of schemata of infinity in axiomatic set theory; Chapter 3. The role of classes in set theory; Chapter 4. Choice functions of sets and classes; Chapter 5. A new finitary proof of a theorem of Mostowski; Chapter 6. Reflection principles and indescribability; Chapter 7. A remark on models of the Gödel-Bernays axioms for set theory; Bibliography; Index