Hanf number for Scott sentences of computable structures
Crossref DOI link: https://doi.org/10.1007/s00153-018-0615-6
Published Online: 2018-02-01
Published Print: 2018-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Goncharov, S. S.
Knight, J. F.
Souldatos, I. http://orcid.org/0000-0002-0879-2810
Text and Data Mining valid from 2018-02-01
Article History
Received: 1 November 2016
Accepted: 23 January 2018
First Online: 1 February 2018