О некоторых алгоритмических проблемах для проективных плоскостей

Показано, что проблема равенства для проективных плоскостей эквивалентна проблеме инцидентности и проблеме равенства для тернаров, соответствующих этим плоскостям. Проблема равенства для палповых проективных плоскостей разрешима. Существует конечно-порожденная дезаргова проективная плоскость, для которой проблема равенства неразрешима.