MPG.eBooks - Table of Contents: Sets and classes

Read Now

Provability, Computability and Reflection

Bibliographic Details
Main Author:	Bernays, Paul
Other Authors:	Müller, G. H.
Format:	eBook
Language:	English
Published:	Amsterdam North-Holland Pub. Co. 1976, 1976
Series:	Studies in logic and the foundations of mathematics
Subjects:	Bernays, Paul / 1888- Bernays, Paul / 1888-1977 / Http://id.loc.gov/authorities/names/n50007396 Bernays, Paul / 1888-1977 / Fast / (ocolc)fst01727308 Aufsatzsammlung / Gnd Verzamelingen (wiskunde) / Gtt Axiomatic Set Theory / Http://id.loc.gov/authorities/subjects/sh85010588 Biography & Autobiography / Science & Technology / Bisacsh Théorie Axiomatique Des Ensembles Axiomatische Mengenlehre / Gnd / Http://d-nb.info/gnd/4143743-3 Ensembles, Théorie Axiomatique Des / Ram Mathematics / Logic / Bisacsh Klassen (wiskunde) / Gtt Axiomatic Set Theory / Fast / (ocolc)fst00824491 Axioma's / Gtt Mathematics / Infinity / Bisacsh
Online Access:	https://www.sciencedirect.com/science/bookseries/0...
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 Gödel-Bernays axioms for set theory; Bibliography; Index