All Questions

Are there examples of sets of natural numbers that are proven to be decidable but by non-constructive proofs only?

The question is as in the title. In the edit history you can find my attempt to formalise the question, but that was a failure, for reasons stated clearly in the comments. Thus, my question is just: ...