Cargando…
Sets and classes : on the work by Paul Bernays /
Provability, Computability and Reflection.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : New York :
North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland,
1976.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 84. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
Tabla de Contenidos:
- 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�odel-Bernays axioms for set theory; Bibliography; Index.