Computable Structure Theory
Within the Arithmetic
$140.00 (C)
Part of Perspectives in Logic
- Author: Antonio Montalbán, University of California, Berkeley
- Date Published: June 2021
- availability: Available
- format: Hardback
- isbn: 9781108423298
$
140.00
(C)
Hardback
Other available formats:
eBook
Looking for an examination copy?
If you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact [email protected] providing details of the course you are teaching.
-
In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Computable structure theory quantifies and studies the complexity of mathematical structures, structures such as graphs, groups, and orderings. Written by a contemporary expert in the subject, this is the first full monograph on computable structure theory in 20 years. Aimed at graduate students and researchers in mathematical logic, it brings new results of the author together with many older results that were previously scattered across the literature and presents them all in a coherent framework, making it easier for the reader to learn the main results and techniques in the area for application in their own research. This volume focuses on countable structures whose complexity can be measured within arithmetic; a forthcoming second volume will study structures beyond arithmetic.
Read more- Makes the subject accessible to graduate students and researchers in logic, from the basic concepts to the frontiers of current research
- Presents the main results and techniques in computable structure theory together in a coherent framework for the first time in 20 years
- Includes new work of the author as well as new perspectives on older results.
Reviews & endorsements
‘This exceptionally well-written book is the first modern monograph on computable structure theory in 20 years … The author succeeds in bringing together new and old results and presenting them in a coherent framework, making it easy for the reader to learn the main results and techniques in the area for application in their own research.’ Alexandra Andreeva Soskova, MathSciNet
Customer reviews
Not yet reviewed
Be the first to review
Review was not posted due to profanity
×Product details
- Date Published: June 2021
- format: Hardback
- isbn: 9781108423298
- length: 250 pages
- dimensions: 240 x 162 x 18 mm
- weight: 0.49kg
- availability: Available
Table of Contents
1. Structures
2. Relations
3. Existentially-Atomic Models
4. Generic Presentations
5. Degree Spectra
6. Comparing Structures and Classes of Structures
7. Finite-Injury Constructions
8. Computable Categoricity
9. The Jump of a Structure
10. ∑ -Small Classes
Bibliography
Index.
Related Books
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.
×