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

Browsing NU Clark shelves, Shelving location: Circulation Close shelf browser (Hides shelf browser)

Previous								Next
Previous	GC P 96 .K57 2024 Introduction to media distribution : film, television, and new media /	GC P96 .P37 2023 Media & mental health : using mass media to reduce the stigma of mental illness /	GC Q 175.32 .S73 2010 Exceeding our grasp : science, history, and the problem of unconceived alternatives /	GC QA 9.59 .M66 2021 Computable structure theory : within the arithmetic /	GC QA 10.5 .L36 2006 Great jobs for math majors /	GC QA 34.5 .T85 2017 Secrets of the Human Body /	GC QA 37.3 .L53 2012 Finite mathematics and calculus with applications /	Next

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.