Forcing and reductibilities. II. Forcing in fragments of analysis

Abstract

In Forcing and reducibilities, I [20] we reviewed various forcing techniques in the context of arithmetic. This second part deals with the same topics in the context of analysis. The numbering of sections is the continuation of the numbering of the first part. For the reader's convenience, we collect in an independent bibliography the papers which are referred to in this part.