Effective topological spaces. III: Forcing and definability (Q1098842)

This paper is the last one of a series of works [\textit{I. Kalantari} and \textit{G. Weitkamp}, ibid. 29, 1-27 (1985; Zbl 0569.03018) and ibid. 29, 207-224 (1985; Zbl 0588.03028)] which study a point-free oriented theory of effective topological spaces. In this paper the interrelations between definability (as presented in Part I) and some notions of forcing are discussed, showing the adequacy of this approach.