УДК 510.64+510.67
О конструктивной теории равенства / Витер Д.А. // Вестн. Моск. ун-та. Сер. 1,
Математика. Механика.
C. 50-52.
Рассматривается равенство с точки зрения теории конструктивных моделей. Доказывается, что конструктивная теория с разрешимым равенством совпадает с классической теорией равенства и, следовательно, полна. Также доказывается неполнота конструктивных теорий с неразрешимым равенством.
Библиогр. 3.
