Archive for Mathematical Logic 57 (7-8):889-907 (2018)

Abstract
The Hanf number for a set S of sentences in \ is the least infinite cardinal \ such that for all \, if \ has models in all infinite cardinalities less than \, then it has models of all infinite cardinalities. Friedman asked what is the Hanf number for Scott sentences of computable structures. We show that the value is \. The same argument proves that \ is the Hanf number for Scott sentences of hyperarithmetical structures.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
ISBN(s)
DOI 10.1007/s00153-018-0615-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,784
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Shorter Model Theory.Wilfrid Hodges - 1997 - Studia Logica 64 (1):133-134.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

View all 11 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On the Hanf Number of Souslin Logic.John P. Burgess - 1978 - Journal of Symbolic Logic 43 (3):568-571.
Atomic Models Higher Up.Jessica Millar & Gerald E. Sacks - 2008 - Annals of Pure and Applied Logic 155 (3):225-241.
Strange Structures From Computable Model Theory.Howard Becker - 2017 - Notre Dame Journal of Formal Logic 58 (1):97-105.
Constructing Quasiminimal Structures.Levon Haykazyan - 2017 - Mathematical Logic Quarterly 63 (5):415-427.
On the Complexity of Categoricity in Computable Structures.Walker M. White - 2003 - Mathematical Logic Quarterly 49 (6):603.

Analytics

Added to PP index
2018-02-01

Total views
15 ( #683,526 of 2,463,136 )

Recent downloads (6 months)
1 ( #449,363 of 2,463,136 )

How can I increase my downloads?

Downloads

My notes