Computable structure theory within the arithmetic

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....

Full description

Bibliographic Details
Main Author: Montalbán, Antonio
Format: eBook
Language:English
Published: Cambridge Cambridge University Press 2021
Series:Perspectives in logic
Subjects:
Online Access:
Collection: Cambridge Books Online - Collection details see MPG.ReNa
LEADER 01693nmm a2200241 u 4500
001 EB001994023
003 EBX01000000000000001156925
005 00000000000000.0
007 cr|||||||||||||||||||||
008 210701 ||| eng
020 |a 9781108525749 
050 4 |a QA9.59 
100 1 |a Montalbán, Antonio 
245 0 0 |a Computable structure theory  |b within the arithmetic  |c Antonio Montalbán 
260 |a Cambridge  |b Cambridge University Press  |c 2021 
300 |a xxii, 190 pages  |b digital 
653 |a Computable functions 
041 0 7 |a eng  |2 ISO 639-2 
989 |b CBO  |a Cambridge Books Online 
490 0 |a Perspectives in logic 
856 4 0 |u https://doi.org/10.1017/9781108525749  |x Verlag  |3 Volltext 
082 0 |a 511.3 
520 |a 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