|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Independence of the Comprehension Schema in Second-Order Arithmetic from the Parameter-Free Countable Choiceстатья Исследовательская статья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 1 октября 2025 г.
- Авторы: Kanovei V.G., Lyubetsky V.A.
- Журнал: Mathematical Notes
- Том: 117
- Номер: 1-2
- Год издания: 2025
- Издательство: Pleiades Publishing, Ltd
- Местоположение издательства: Road Town, United Kingdom
- Первая страница: 275
- Последняя страница: 286
- DOI: 10.1134/s0001434625010250
- Добавил в систему: Любецкий Василий Александрович