О конструктивной теории равенства

Рассматривается равенство с точки зрения теории конструктивных моделей. Доказывается, что конструктивная теория с разрешимым равенством совпадает с классической теорией равенства и, следовательно, полна. Также доказывается неполнота конструктивных теорий с неразрешимым равенством.
Библиогр. 3.