УДК 510.64+510.67

О конструктивной теории равенства / Витер Д.А. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. C. 50-52.

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

Библиогр. 3.