Computable structure theory : within the arithmetic /
Antonio Montalbán
- United Kingdom : Cambridge University Press, c2021
- xxii, 190 pages ; 24 cm.
- Perspective in Logic .
"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