Computable Structure Theory

Computable Structure Theory
Author :
Publisher : Cambridge University Press
Total Pages : 214
Release :
ISBN-10 : 9781108534420
ISBN-13 : 1108534422
Rating : 4/5 (20 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: 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.
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
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
Structure And Randomness In Computability And Set Theory
Language: en
Pages: 387
Authors: Douglas Cenzer
Categories: Mathematics
Type: BOOK - Published: 2020-10-02 - Publisher: World Scientific

DOWNLOAD EBOOK

This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, an
Handbook of Computability Theory
Language: en
Pages: 741
Authors: E.R. Griffor
Categories: Mathematics
Type: BOOK - Published: 1999-10-01 - Publisher: Elsevier

DOWNLOAD EBOOK

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Si