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

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

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

This Festschrift is published in honor of Rodney G. Downey, eminent logician and computer scientist, surfer and Scottish country dancer, on the occasion of his

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