Полное название | Секорин В.С. Неразрешимость одноместных 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 |
С участием зарубежных ученых |