Book contents
- Frontmatter
- Dedication
- Contents
- 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
Chapter 6 - Comparing Structures and Classes of Structures
Published online by Cambridge University Press: 11 June 2021
- Frontmatter
- Dedication
- Contents
- 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
Summary
A common way to measure the complexity is by comparing it to other objects. We will look into Muchnik and Medvedev reducibility, and effective interpretability and bi-interpretability.
- Type
- Chapter
- Information
- Computable Structure TheoryWithin the Arithmetic, pp. 75 - 96Publisher: Cambridge University PressPrint publication year: 2021