From global to local constraints: A constructive version of bloch’s principle

Abstract

Generalizing several results from complex analysis, A. Bloch formulated an informal principle—that for every global implication there is a stronger local implication. This principle has been formalized for complex analysis, but is has been successfully used in other areas as well. In this paper, we propose a new formalization of Bloch’s Principle, and we show that in general, the corresponding localized version can be obtained algorithmically.