Enumerations, countable structures and Turing degrees

Stephan Wehner

Proceedings of the American Mathematical Society · 1998 · 98 citations · 5 references

DOIFull text

Open access

Concepts

Abstract

It is proven that there is a family of sets of natural numbers which has enumerations in every Turing degree except for the recursive degree. This implies that there is a countable structure which has representations in all but the recursive degree. Moreover, it is shown that there is such a structure which has a recursively represented elementary extension.

References

5