Faithin Omaha eBook Collection

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

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshop

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

Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turing's seminal work in the 1930s. This was motivated by