What to read after Computability in Analysis and Physics?

This book is concerned with the computability or noncomputability of standard processes in analysis and physics. Part I is introductory. It provides the basic prerequisites for reading research papers in computable analysis (at least when the reasoning is classical). The core of the book is contained in Parts II and III. Great care has been taken to motivate the material adequately. In this regard, the introduction to the book and the introduc tions to the chapters playa major role. We suggest that the reader who wishes to skim begin with the introduction to the book and then read the introductions to Chapters 2, 3, and 4-with a brief glance at the introductions to Chapters 0 and 1. The book is written for a mixed audience. Although it is intended primarily for logicians and analysts, it should be of interest to physicists and computer scientists in fact to graduate students in any of these fields. The work is self-contained. Beyond the section on Prerequisites in Logic and Analysis, no further background is necessary. The reasoning used is classical-i.e. in the tradition of classical mathe matics. Thus it is not intuitionist or constructivist in the sense of Brouwer or Bishop. It is a pleasure to thank our mathematical colleagues for stimulating conversa tions as well as helpful comments and suggestions: Professors Oliver Aberth, John Baldwin, William Craig, Solomon Feferman, Alexander Kechris, Manuel Lerman, Saunders MacLane, Yiannis Moschovakis, Jack Silver, Dana Scott and Pat Suppes.