On computable field embeddings and difference closed fields
Logic
2019-08-15 v2
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.
Keywords
Cite
@article{arxiv.1506.02791,
title = {On computable field embeddings and difference closed fields},
author = {Matthew Harrison-Trainor and Russell Miller and Alexander Melnikov},
journal= {arXiv preprint arXiv:1506.02791},
year = {2019}
}
Comments
24 pages