What I mean is this. By downward Lowenheim-Skolem theorem, first-order formula Q is a always true iff it is true in every countable structure. But is there some first-order formula Q which is true in every computable structure and false in some non-computable structure? My feeling is that of course the answer should be "yes", but I can't construct an example. I feel also that the questions of the sort has been widely studied. Do you know anything about that?

Thanks in advance.

What I mean is this. By downward Lowenheim-Skolem theorem, first-order formula Q is a always true iff it is true in every countable structure. But is there some first-order formula Q which is true in every computable structure and false in some non-computable structure? My feeling is that of course the answer should be "yes", but I can't construct an example. I feel also that the questions of the sort has been widely studied. (For example, maybe some study of conditions under which first-order theory has computable model or hasn't). Do you know anything about that?

Thanks in advance.