Special relations for formulas, their equivalence relations and theories Научная публикация
| Журнал |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||||
|---|---|---|---|---|---|
| Вых. Данные | Год: 2022, Том: 19, Номер: 1, Страницы: 259-272 Страниц : 14 DOI: 10.33048/semi.2022.19.020 | ||||
| Ключевые слова | formula, special relation, equivalence relation, theory | ||||
| Авторы |
|
||||
| Организации |
|
Информация о финансировании (2)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0012 |
| 2 | Российский научный фонд | 22-21-00044 |
Реферат:
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.
Библиографическая ссылка:
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 РИНЦ
Даты:
| Поступила в редакцию: | 27 янв. 2022 г. |
| Опубликована online: | 19 апр. 2022 г. |
Идентификаторы БД:
| Web of science: | WOS:000793381900008 |
| Scopus: | 2-s2.0-85129723201 |
| РИНЦ: | 49384632 |