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