Abstract

For a computable structure \, if there is a computable infinitary Scott sentence, then the complexity of this sentence gives an upper bound for the complexity of the index set \\). If we can also show that \\) is m-complete at that level, then there is a correspondence between the complexity of the index set and the complexity of a Scott sentence for the structure. There are results that suggest that these complexities will always match. However, it was shown in Knight and McCoy that there is a structure ) for which the index set is m-complete \, though there is no computable \ Scott sentence. In the present paper, we give an example of a particular equivalence structure for which the index set is m-complete \ but for which there is no computable \ Scott sentence. There is, however, a computable \ pseudo-Scott sentence for the structure, that is, a sentence that acts as a Scott sentence if we only consider computable structures.