Montalbán, Antonio

Computable structure theory : within the arithmetic / Antonio Montalbán - United Kingdom : Cambridge University Press, c2021 - xxii, 190 pages ; 24 cm. - Perspective in Logic .

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

9781108423298


COMPUTABLE FUNCTIONS

QA 9.59 .M66 2021