Admissible Sets and Structures
$151.00 USD
Part of Perspectives in Logic
- Author: Jon Barwise, University of Wisconsin, Madison
- Date Published: March 2017
- availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
- format: Adobe eBook Reader
- isbn: 9781316731697
Find out more about Cambridge eBooks
$
151.00 USD
Adobe eBook Reader
Other available formats:
Hardback
Looking for an inspection copy?
This title is not currently available on inspection
-
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. Admissible set theory is a major source of interaction between model theory, recursion theory and set theory, and plays an important role in definability theory. In this volume, the seventh publication in the Perspectives in Logic series, Jon Barwise presents the basic facts about admissible sets and admissible ordinals in a way that makes them accessible to logic students and specialists alike. It fills the artificial gap between model theory and recursion theory and covers everything the logician should know about admissible sets.
Read more- Accessible to logic students and specialists alike
- Fills an artificial gap between model theory and recursion theory
- Covers everything about admissible sets that a logician should know
Customer reviews
Not yet reviewed
Be the first to review
Review was not posted due to profanity
×Product details
- Date Published: March 2017
- format: Adobe eBook Reader
- isbn: 9781316731697
- contains: 21 b/w illus.
- availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Table of Contents
Introduction
Part I. The Basic Theory:
1. Admissible set theory
2. Some admissible sets
3. Countable fragments of L∞ω
4. Elementary results on HYPM
Part II. The Absolute Theory:
5. The recursion theory of Σ1, predicates on admissible sets
6. Inductive definitions
Part III. Towards a General Theory:
7. More about L∞ω
8. Strict Π11 predicates and Koenig principles
Appendix. Nonstandard compactness arguments and the admissible cover
References
Index of notation
Subject 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.
×