Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904827 | Advances in Mathematics | 2018 | 39 Pages |
Abstract
Our investigation of Scott spectra leads to the resolution (in ZFC) of a number of open problems about Scott ranks. We answer a question of Montalbán by showing, for each α<Ï1, that there is a Î 2in theory with no models of Scott rank less than α. We also answer a question of Knight and Calvert by showing that there are computable models of high Scott rank which are not computably approximable by models of low Scott rank. Finally, we answer a question of Sacks and Marker by showing that δ21 is the least ordinal α such that if the models of a computable theory T have Scott rank bounded below Ï1, then their Scott ranks are bounded below α.
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
Matthew Harrison-Trainor,