On computable field embeddings and difference closed fields
arXiv:1506.02791 · doi:10.4153/CJM-2016-044-7
Abstract
We investigate when a computable automorphism of a computable field can be effectively extended to a computable automorphism of its (computable) algebraic closure. We then apply our results and techniques to study effective embeddings of computable difference fields into computable difference closed fields.
24 pages