Provability, Computability and Reflection (Google eBook)

Front Cover
Elsevier, Apr 1, 2000 - Mathematics - 357 pages
0 Reviews
Provability, Computability and Reflection
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Chapter 1 A system of axiomatic set theory
1
Chapter 2 On the problem of schemata of infinity in axiomatic set theory
121
Chapter 3 The role of classes in set theory
173
Chapter 4 Choice functions of sets and classes
217
Chapter 5 A new finitary proof of a theorem of Mostowski
257
Chapter 6 Reflection principles and indescribability
277
Chapter 7 A remark on models of the GödelBernays axioms for set theory
325
Bibliography
341
Index
353
Copyright

Common terms and phrases