Hanf number for Scott sentences of computable structures

Journal

Archive for Mathematical Logic
ISSN: 0933-5846 , E-ISSN: 1432-0665

Output data

Year: 2018, Volume: 57, Number: 7-8, Pages: 889-907 Pages count : 19 DOI: 10.1007/s00153-018-0615-6

Tags

Characterizing cardinals; Computable structures; Hanf Number; Hyperarithmetical structures; Infinitary Logic; Scott sentences

Authors

Goncharov S.S. ¹ , Knight J.F. ² , Souldatos I. ³

Affiliations

1	Sobolev Institute of Mathematics
2	University of Notre Dame
3	University of Detroit Mercy

Goncharov S.S. , Knight J.F. , Souldatos I.
Hanf number for Scott sentences of computable structures
Archive for Mathematical Logic. 2018. V.57. N7-8. P.889-907. DOI: 10.1007/s00153-018-0615-6 WOS Scopus OpenAlex

Пока нет цитирований