Computable structure theory : within the arithmetic / Antonio Montalbán
Material type:
TextSeries: Perspective in LogicPublication details: United Kingdom : Cambridge University Press, c2021Description: xxii, 190 pages ; 24 cmISBN: - 9781108423298
- QA 9.59 .M66 2021
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
NU Clark Circulation | GC QA 9.59 .M66 2021 (Browse shelf(Opens below)) | Available | NUCLA000003230 |
Includes bibliographical references and index.
Preface -- Notation and conventions -- Chapter 1. Structures -- Chapter 2. Relations -- Chapter 3. Existentially-atomic models -- Chapter 4. Generic presentations -- Chapter 5. Degree spectra -- Chapter 6. Comparing structures and classes of structures -- Chapter 7. Finite-injury constructions -- Chapter 8. Computable categoricity -- Chapter 9. The jump of a structure -- Chapter 10. ∑-small classes -- Bibliography -- Index.
"The objective of this book is to describe some of the main ideas and techniques used in the field. Most of these ideas are old, but for many of them, the style of the presentation is not. Over the last few years, the authors has developed new frameworks for dealing with these old ideas-for instance, r.i.c.e. relations, jump, Scott ranks, and back-and-forth types. " -- Preface
There are no comments on this title.