Structure of algebras of binary formulas for polygonometrical theories with the symmetry condition

摘要

We describe the structure of algebras of binary formulas for polygonometrical theories with the symmetry condition. The concepts of pseudo-Euclidean and interval algebras for binary formulas are introduced. Questions of existence of such algebras in classes of polygonometrical theories are investigated.