Published online by Cambridge University Press: 24 October 2008
One of the intriguing complications of constructive analysis is that it does not seem possible to obtain examples of inseparable Banach spaces; more precisely, when one comes to study explicit examples one finds that one cannot assign a constructively denned norm to every vector in the space. One of the objectives of (2) was to make a detailed study of an explicit class of Banach spaces, containing both separable and inseparable examples, in the hope that one might begin better to understand these matters. We chose for this study the class of Orlicz spaces, primarily because the simplest examples (namely the Lebesgue spaces LP) had already been the objective of detailed constructive work in (1).