46 results
THE STRUCTURAL COMPLEXITY OF MODELS OF ARITHMETIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-17
-
- Article
-
- You have access
- HTML
- Export citation
Chapter 7 - Finite-Injury Constructions
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 97-114
-
- Chapter
- Export citation
Chapter 4 - Generic Presentations
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 51-62
-
- Chapter
- Export citation
Chapter 6 - Comparing Structures and Classes of Structures
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 75-96
-
- Chapter
- Export citation
Chapter 3 - Existentially-Atomic Models
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 33-50
-
- Chapter
- Export citation
Chapter 8 - Computable Categoricity
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 115-136
-
- Chapter
- Export citation
Chapter 1 - Structures
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 1-10
-
- Chapter
- Export citation
Preface
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp ix-xii
-
- Chapter
- Export citation
Index
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 187-190
-
- Chapter
- Export citation
Notation and Conventions
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp xiii-xxii
-
- Chapter
- Export citation
Chapter 2 - Relations
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 11-32
-
- Chapter
- Export citation
Dedication
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp v-vi
-
- Chapter
- Export citation
Chapter 5 - Degree Spectra
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 63-74
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 177-186
-
- Chapter
- Export citation
Chapter 9 - The Jump of A Structure
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 137-148
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp i-iv
-
- Chapter
- Export citation
Chapter 10 - Σ-Small Classes
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp 149-176
-
- Chapter
- Export citation
Contents
-
- Book:
- Computable Structure Theory
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021, pp vii-viii
-
- Chapter
- Export citation
Computable Structure Theory
- Within the Arithmetic
-
- Published online:
- 11 June 2021
- Print publication:
- 24 June 2021
THE TREE OF TUPLES OF A STRUCTURE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 07 September 2020, pp. 21-46
- Print publication:
- March 2022
-
- Article
- Export citation