Computable Structure Theory - Within the Arithmetic

List 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.

About the author

Antonio Montalbán is Professor of Mathematics at the University of California, Berkeley.

Summary

Computable structure theory studies the relative complexity of mathematical structures. Written by a contemporary expert, this is the first full monograph on the subject in 20 years. Aimed at graduate students and researchers in mathematical logic, it brings the main results and techniques in the field together into a coherent framework.

Product details

• Authors: Antonio (University of California Montalban, Antonio Montalbán
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 31.07.2021
• EAN: 9781108423298
• ISBN: 978-1-108-42329-8
• No. of pages: 250
• Series: Perspectives in Logic
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > Basic principles; MATHEMATICS / Logic, Mathematical modelling, Mathematical logic, Set theory