Constructibility
Part of Perspectives in Logic
- Author: Keith J. Devlin, Lancaster University
- Date Published: March 2017
- availability: Available
- format: Hardback
- isbn: 9781107168350
Hardback
Other available formats:
eBook
Looking for an inspection copy?
Please email [email protected] to enquire about an inspection copy of this book
-
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the sixth publication in the Perspectives in Logic series, Keith J. Devlin gives a comprehensive account of the theory of constructible sets at an advanced level. The book provides complete coverage of the theory itself, rather than the many and diverse applications of constructibility theory, although applications are used to motivate and illustrate the theory. The book is divided into two parts: Part I (Elementary Theory) deals with the classical definition of the Lα-hierarchy of constructible sets and may be used as the basis of a graduate course on constructibility theory. and Part II (Advanced Theory) deals with the Jα-hierarchy and the Jensen 'fine-structure theory'.
Read more- Provides a comprehensive account of the theory of constructible sets at an advanced level
- Applications are used to illustrate the theory
Customer reviews
Not yet reviewed
Be the first to review
Review was not posted due to profanity
×Product details
- Date Published: March 2017
- format: Hardback
- isbn: 9781107168350
- length: 437 pages
- dimensions: 234 x 156 x 29 mm
- weight: 0.85kg
- contains: 10 b/w illus.
- availability: Available
Table of Contents
Part I. Elementary Theory:
1. Preliminaries
2. The constructible universe
3. ω1-Trees in L
4. κ+-Trees in L and the fine structure theory
5. The story of 0#
Part II. Advanced theory:
6. The fine structure theory
7. Trees and large cardinals in L
8. Morasses and the cardinal transfer theorem
9. Silver machines
Remarks and historical notes
Bibliography
Glossary of notation
Index.
Sorry, this resource is locked
Please register or sign in to request access. If you are having problems accessing these resources please email [email protected]
Register Sign in» Proceed
You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.
Continue ×Are you sure you want to delete your account?
This cannot be undone.
Thank you for your feedback which will help us improve our service.
If you requested a response, we will make sure to get back to you shortly.
×