Books in the Ontos Mathematical Logic series

On the occasion of the retirement of Wolfram Pohlers the Institut fur Mathematische Logik und Grundlagenforschung of the University of Munster organized a colloquium and a workshop which took place July 17-19, 2008. This volume collects papers by the speakers of the colloquium and workshop.

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing. This volume contains 20 articles from experts about developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, and Constructive mathematics.

Provides summary of the state of research on Church's Thesis. This book includes the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics, CT and physics, the epistemic status of CT, CT and philosophy of mind, provability of CT and CT and functional programming.

Mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad of seemingly unrelated areas. This book features articles which range from historical scholarship to research in geometric model theory, squarely address this development.