D. Yu. Emelyanov, S. V. Sudoplatov, “Structure of algebras of binary formulas for polygonometrical theories with the symmetry condition”, Sib. Èlektron. Mat. Izv., 2020, Volume 17,Pages <nobr>1

This article is cited in 3 papers

Mathematical logic, algebra and number theory

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

D. Yu. Emelyanov^a, S. V. Sudoplatov^bac

^a Novosibirsk State Technical University, 20, K. Marx ave., Novosibirsk, 630073, Russia
^b Sobolev Institute of Mathematics, 4, Academician Koptyug ave., Novosibirsk, 630090, Russia
^c Novosibirsk State University, 1, Pirogova str., Novosibirsk, 630090, Russia

Abstract: 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.

Keywords: algebra of binary formulas, polygonometrical theory with symmetry condition, pseudo-Euclidean algebra, interval algebra.

UDC: 510.67:514.116

MSC: 03C07, 03C60, 03G15, 20N02

Received December 20, 2019, published January 15, 2020

DOI: 10.33048/semi.2020.17.001