Σ-definability of uncountable models of c-simple theories Научная публикация

Журнал	Siberian Mathematical Journal ISSN: 0037-4466 , E-ISSN: 1573-9260
Вых. Данные	Год: 2010, Том: 51, Номер: 3, Страницы: 515-524 Страниц : 10 DOI: 10.1007/s11202-010-0054-z
Ключевые слова	Admissible set; Computable theory; Constructive model; Model theory
Авторы	Стукачев Алексей Ильич 1
Организации	1 Sobolev Institute of Mathematics