The Logical Complexity of Geometric Properties in the Plane

Louis Hodes. The Logical Complexity of Geometric Properties in the Plane. Journal of the ACM, 17(2):339-347, 1970. [doi]

Abstract

Abstract is missing.