Computable structure theory : within the arithmetic / Antonio Montalbán

By:

Montalbán, Antonio [author]

Material type: Text

TextSeries: Perspective in LogicPublication details: United Kingdom : Cambridge University Press, c2021Description: xxii, 190 pages ; 24 cmISBN:

9781108423298

Subject(s):

COMPUTABLE FUNCTIONS

LOC classification:

QA 9.59 .M66 2021

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: "The objective of this book is to describe some of the main ideas and techniques used in the field. Most of these ideas are old, but for many of them, the style of the presentation is not. Over the last few years, the authors has developed new frameworks for dealing with these old ideas-for instance, r.i.c.e. relations, jump, Scott ranks, and back-and-forth types. " -- Preface

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Materials specified	Status	Date due	Barcode
Books	NU Clark Circulation	GC QA 9.59 .M66 2021 (Browse shelf(Opens below))		Available		NUCLA000003230

Includes bibliographical references and index.

"The objective of this book is to describe some of the main ideas and techniques used in the field. Most of these ideas are old, but for many of them, the style of the presentation is not. Over the last few years, the authors has developed new frameworks for dealing with these old ideas-for instance, r.i.c.e. relations, jump, Scott ranks, and back-and-forth types. " -- Preface

There are no comments on this title.

to post a comment.