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

GET 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 Structure Theory
Language: en
Pages: 213
Authors: Antonio Montalbán
Categories: Mathematics
Type: BOOK - Published: 2021-06-24 - Publisher: Cambridge University Press

GET 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

GET 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, Forcing and Descriptive Set Theory
Language: en
Pages: 200
Authors: Douglas Cenzer
Categories:
Type: BOOK - Published: 2019-12-31 - Publisher: World Scientific Publishing Company

GET 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
Computability Theory
Language: en
Pages: 420
Authors: S. Barry Cooper
Categories: Mathematics
Type: BOOK - Published: 2017-09-06 - Publisher: CRC Press

GET 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