In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Comp

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity whic

Presents main results and techniques in computable structure theory together in a coherent framework for the first time in 20 years.

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

This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, an