S. V. Sudoplatov, “Special relations for formulae, their equivalence relations and theories”, Сиб. электрон. матем. изв., 2022, том 19, выпуск 1,страницы 259

Эта публикация цитируется в 1 статье

Математическая логика, алгебра и теория чисел

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

Аннотация: 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.

Ключевые слова: formula, special relation, equivalence relation, theory.

УДК: 510.67

MSC: 03C07, 03C10, 03C68

Поступила 27 января 2022 г., опубликована 19 апреля 2022 г.

Язык публикации: английский

DOI: 10.33048/semi.2022.19.020