The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete

Tatyana Ivanova, Tinko Tinchev

A. Tarski uses in his system for the elementary geometry only the primitive concept of point, and the two primitive relations betweenness and equidistance. Another approach is the…