Computable Structure Theory: Within the Arithmetic

ISBN-13: 9781108423298 / Angielski / Twarda / 2021 / 250 str.

Antonio Montalb?n

Opis

Presents main results and techniques in computable structure theory together in a coherent framework for the first time in 20 years.

Recenzje

'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

Spis treści

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.