Тернарные сверхтождества ассоциативности в обратимых алгебрах / 3-տեղանի զուգորդական գերնույնությունները հակադարձելի հանրահաշիվներում / On the ternary hyperidentities of associativity in reversible algebras

Abstract

Известно, что многие важные математические понятия свойства непосредственно записываются на языке исчисления предикатов 2-й ступени (логика второго порядка) / Ստորև բերված են ատենախոսության սահմաններում ստացված հիմնական արդյունքները. Ոչ ակնհայտ 3-տեղանի հակադարձելի հանրահաշիվների դասում տրված է ((X1,X2,X3),X4,X5)=(X2,43,X4)X;)=/X, XՇ,,(X3,X4,X5 )) հավասարությամբ որոշված 3-տեղանի զուգորդական գերնույնությունների դասակարգումը