Geodesic
Special relations for formulae, their equivalence relations and theories
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 19 (2022) no. 1, pp. 259-272

Voir la notice de l'article provenant de la source Math-Net.Ru

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: special relation, theory.
Mots-clés : formula, equivalence relation 
@article{SEMR_2022_19_1_a10,
     author = {S. V. Sudoplatov},
     title = {Special relations for formulae, their equivalence relations and theories},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {259--272},
     publisher = {mathdoc},
     volume = {19},
     number = {1},
     year = {2022},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a10/}
}
TY  - JOUR
AU  - S. V. Sudoplatov
TI  - Special relations for formulae, their equivalence relations and theories
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2022
SP  - 259
EP  - 272
VL  - 19
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a10/
LA  - en
ID  - SEMR_2022_19_1_a10
ER  - 
%0 Journal Article
%A S. V. Sudoplatov
%T Special relations for formulae, their equivalence relations and theories
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2022
%P 259-272
%V 19
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a10/
%G en
%F SEMR_2022_19_1_a10
S. V. Sudoplatov. Special relations for formulae, their equivalence relations and theories. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 19 (2022) no. 1, pp. 259-272. http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a10/