Special relations for formulas, their equivalence relations and theories Full article
| Journal |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2022, Volume: 19, Number: 1, Pages: 259-272 Pages count : 14 DOI: 10.33048/semi.2022.19.020 | ||||
| Tags | formula, special relation, equivalence relation, theory | ||||
| Authors |
|
||||
| Affiliations |
|
Funding (2)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0012 |
| 2 | Russian Science Foundation | 22-21-00044 |
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.
Cite:
Sudoplatov S.V.
Special relations for formulas, their equivalence relations and theories
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2022. V.19. N1. P.259-272. DOI: 10.33048/semi.2022.19.020 WOS Scopus РИНЦ
Special relations for formulas, their equivalence relations and theories
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2022. V.19. N1. P.259-272. DOI: 10.33048/semi.2022.19.020 WOS Scopus РИНЦ
Dates:
| Submitted: | Jan 27, 2022 |
| Published online: | Apr 19, 2022 |
Identifiers:
| Web of science: | WOS:000793381900008 |
| Scopus: | 2-s2.0-85129723201 |
| Elibrary: | 49384632 |