| Полное название | Секорин В.С. Неразрешимость одноместных PFP-операторов без вложения в теории одного следования // Известия высших учебных заведений. Математика. 2024. №4. С.89-93. |
| Тип публикации | Статья |
| Язык | Русский |
| URL | https://www.elibrary.ru/item.asp?id=65612931 |
| Дата публикации | 11.01.2024 |
|
РИНЦ
RSCI
Перечень ВАК
Web of Science
Scopus
Белый список Исключено из Белого списка |
|
| DOI | http://dx.doi.org/10.26907/0021-3446-2024-4-89-93 |
| EDN | http://elibrary.ru/AAMJTC |
| Есть перевод | Sekorin, V.S. On Undecidability of Unary Nonnested PFP Operators for One Successor Function Theory // Russian Mathematics, 68(4), pp.79–82 (2024) |
| Год издания перевода | 2024 |
| DOI перевода | http://dx.doi.org/10.3103/S1066369X24700300 |
| Идентификатор Scopus | 2-s2.0-85200488456 |
| Квартиль | S2 |
| Уровень в Белом списке | 2 |
| С участием зарубежных ученых |
Внесено в базу
29.04.2024 7:56:01