Amvik eBook Solutions

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has see

Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this resu

Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory is the type spectrum of some homo

This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. Th

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