The Logical Complexity of Geometric Properties in the Plane

This paper studies the logical complexity of geometric properties in the plane. These properties are characterized according to the length of formulas necessary to express them. In this study a portion of the plane X will be considered as a collection of squares Ix , ..., Xn] arranged into i a fine grid. A pattern P is a subset of X and the grid is assumed to be fine enough so that approximations to geometrical figures can be obtained. P can be defined by mapping m:X ~{0,i} where for