Properties of sΣ-Reducibility Научная публикация

Журнал	Algebra and Logic ISSN: 0002-5232 , E-ISSN: 1573-8302
Вых. Данные	Год: 2014, Том: 53, Номер: 5, Страницы: 405-417 Страниц : 13 DOI: 10.1007/s10469-014-9300-y
Ключевые слова	decidability; generalized computability; model completeness; model theory; uniformization property
Авторы	Стукачев Алексей Ильич 1,2
Организации	1 Sobolev Institute of Mathematics 2 Novosibirsk State University