Computable structure theory: within the arithmetic
Presents main results and techniques in computable structure theory together in a coherent framework for the first time in 20 years.
Read More ↓Title Statements
- Full title :Computable structure theory : within the arithmetic / Antonio Mantalbán.
Summary
Presents main results and techniques in computable structure theory together in a coherent framework for the first time in 20 years.
Read More ↓Edition Statements
- Publication Date:2021.
Publication Statements
- Publisher(s):Association for Symbolic Logic, Cambridge University Press
- Place of Publication:Cambridge, United Kingdom
- Language:eng
- Publication Date:2021.
The Physical Object
- Description:1 online resource (xxii, 190 pages)
Edition Identifiers
- ISBN:9781108525749, 1108525741
- oclc:on1257800778
- LC Classification:QA9.59
- Dewey Decimal:511.3
Table of Contents
Cover -- Half-title -- Series information -- Title page -- Copyright information -- Dedication -- CONTENTS -- PREFACE -- NOTATION AND CONVENTIONS -- Chapter 1 STRUCTURES -- 1.1. Presentations -- 1.2. Presentations that code sets -- Chapter 2 RELATIONS -- 2.1. Relatively intrinsic notions -- 2.2. Complete relations -- 2.3. Examples of r.i.c.e. complete relations -- 2.4. Superstructures -- Chapter 3 EXISTENTIALLY-ATOMIC MODELS -- 3.1. Definition -- 3.2. Existentially algebraic structures -- 3.3. Cantor's back-and-forth argument -- 3.4. Uniform computable categoricity -- 3.5. Existential atomicity in terms of types -- 3.6. Building structures and omitting types -- 3.7. Scott sentences of existentially atomic structures -- 3.8. Turing degree and enumeration degree -- Chapter 4 GENERIC PRESENTATIONS -- 4.1. Cohen generic reals -- 4.2. Generic enumerations of sets -- 4.3. Generic enumerations of structures -- 4.4. Relations on generic presentations -- Chapter 5 DEGREE SPECTRA -- 5.1. The c.e. embeddability condition -- 5.2. Co-spectra -- 5.3. Degree spectra that are not possible -- 5.4. Some particular degree spectra -- Chapter 6 COMPARING STRUCTURES AND CLASSES OF STRUCTURES -- 6.1. Mu…
Read More ↓
Rate & Review