S. V. Sudoplatov, “Special relations for formulae, their equivalence relations and theories”, Sib. Èlektron. Mat. Izv., 2022, Volume 19, Issue 1,Pages <nobr>259

This article is cited in 1 paper

Mathematical logic, algebra and number theory

Special relations for formulae, their equivalence relations and theories

S. V. Sudoplatov^ab

^a Novosibirsk State Technical University 20, K. Marx ave., Novosibirsk, 630073, Russia
^b Sobolev Institute of Mathematics 4, Acad. Koptyug ave., Novosibirsk, 630090, Russia

Abstract: We study properties and characteristics for special relations of formulae in given languages producing equivalence relations both in general case and for elementary theories. Characteristics for chains of special relations and equivalence relations are described.

Keywords: formula, special relation, equivalence relation, theory.

UDC: 510.67

MSC: 03C07, 03C10, 03C68

Received January 27, 2022, published April 19, 2022

Language: English

DOI: 10.33048/semi.2022.19.020