Computable Structure Theory

Computable Structure Theory
Author :
Publisher : Cambridge University Press
Total Pages : 214
Release :
ISBN-10 : 9781108534420
ISBN-13 : 1108534422
Rating : 4/5 (422 Downloads)

Book Synopsis Computable Structure Theory by : Antonio Montalbán

Download or read book Computable Structure Theory written by Antonio Montalbán and published by Cambridge University Press. This book was released on 2021-06-24 with total page 214 pages. Available in PDF, EPUB and Kindle. Book excerpt: In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Computable structure theory quantifies and studies the complexity of mathematical structures, structures such as graphs, groups, and orderings. Written by a contemporary expert in the subject, this is the first full monograph on computable structure theory in 20 years. Aimed at graduate students and researchers in mathematical logic, it brings new results of the author together with many older results that were previously scattered across the literature and presents them all in a coherent framework, making it easier for the reader to learn the main results and techniques in the area for application in their own research. This volume focuses on countable structures whose complexity can be measured within arithmetic; a forthcoming second volume will study structures beyond arithmetic.


Computable Structure Theory Related Books

Computable Structure Theory
Language: en
Pages: 214
Authors: Antonio Montalbán
Categories: Mathematics
Type: BOOK - Published: 2021-06-24 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Comp
Computable Structures and the Hyperarithmetical Hierarchy
Language: en
Pages: 363
Authors: C.J. Ash
Categories: Mathematics
Type: BOOK - Published: 2000-06-16 - Publisher: Elsevier

DOWNLOAD EBOOK

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity whic
Computable Structure Theory
Language: en
Pages: 213
Authors: Antonio Montalbán
Categories: Mathematics
Type: BOOK - Published: 2021-06-24 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Presents main results and techniques in computable structure theory together in a coherent framework for the first time in 20 years.
Computability Theory
Language: en
Pages: 420
Authors: S. Barry Cooper
Categories: Mathematics
Type: BOOK - Published: 2017-09-06 - Publisher: CRC Press

DOWNLOAD EBOOK

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, s
A Hierarchy of Turing Degrees
Language: en
Pages: 234
Authors: Rod Downey
Categories: Computers
Type: BOOK - Published: 2020-06-16 - Publisher: Princeton University Press

DOWNLOAD EBOOK

[Alpha]-c.a. functions -- The hierarchy of totally [alpha]-c.a. degrees -- Maximal totally [alpha]-c.a. degrees -- Presentations of left-c.e. reals -- m-topped