Hanf number for Scott sentences of computable structures Научная публикация

Журнал	Archive for Mathematical Logic ISSN: 0933-5846 , E-ISSN: 1432-0665
Вых. Данные	Год: 2018, Том: 57, Номер: 7-8, Страницы: 889-907 Страниц : 19 DOI: 10.1007/s00153-018-0615-6
Ключевые слова	Characterizing cardinals; Computable structures; Hanf Number; Hyperarithmetical structures; Infinitary Logic; Scott sentences
Авторы	Goncharov S.S. 1 , Knight J.F. 2 , Souldatos I. 3
Организации	1 Sobolev Institute of Mathematics 2 University of Notre Dame 3 University of Detroit Mercy