Generalized Hyperarithmetical Computability Over Structures | Sciact - Система учета научной деятельности ИМ СО РАН

Журнал

Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302

Вых. Данные

Год: 2017, Том: 55, Номер: 6, Страницы: 507-526 Страниц : 20 DOI: 10.1007/s10469-017-9421-1

Ключевые слова

admissible sets; approximation spaces; computability theory; computable analysis; constructive models; hyperarithmetical computability

Авторы

Стукачев Алексей Ильич ^1,2

Организации

1	Sobolev Institute of Mathematics
2	Novosibirsk State University

Stukachev A.
Generalized Hyperarithmetical Computability Over Structures
Algebra and Logic. 2017. V.55. N6. P.507-526. DOI: 10.1007/s10469-017-9421-1 WOS Scopus OpenAlex