Geodesic
On Computable Field Embeddings and Difference Closed Fields
Canadian journal of mathematics, Tome 69 (2017) no. 6, pp. 1338-1363

Voir la notice de l'article provenant de la source Cambridge

DOI

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.
DOI : 10.4153/CJM-2016-044-7
Mots-clés : 03D45, 03C57, 12Y05, computable algebra, algebraic field, difference field, extension of automorphism 
Harrison-Trainor, Matthew; Melnikov, Alexander; Miller, Russell. On Computable Field Embeddings and Difference Closed Fields. Canadian journal of mathematics, Tome 69 (2017) no. 6, pp. 1338-1363. doi: 10.4153/CJM-2016-044-7
@article{10_4153_CJM_2016_044_7,
     author = {Harrison-Trainor, Matthew and Melnikov, Alexander and Miller, Russell},
     title = {On {Computable} {Field} {Embeddings} and {Difference} {Closed} {Fields}},
     journal = {Canadian journal of mathematics},
     pages = {1338--1363},
     year = {2017},
     volume = {69},
     number = {6},
     doi = {10.4153/CJM-2016-044-7},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-2016-044-7/}
}
TY  - JOUR
AU  - Harrison-Trainor, Matthew
AU  - Melnikov, Alexander
AU  - Miller, Russell
TI  - On Computable Field Embeddings and Difference Closed Fields
JO  - Canadian journal of mathematics
PY  - 2017
SP  - 1338
EP  - 1363
VL  - 69
IS  - 6
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-2016-044-7/
DO  - 10.4153/CJM-2016-044-7
ID  - 10_4153_CJM_2016_044_7
ER  - 
%0 Journal Article
%A Harrison-Trainor, Matthew
%A Melnikov, Alexander
%A Miller, Russell
%T On Computable Field Embeddings and Difference Closed Fields
%J Canadian journal of mathematics
%D 2017
%P 1338-1363
%V 69
%N 6
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-2016-044-7/
%R 10.4153/CJM-2016-044-7
%F 10_4153_CJM_2016_044_7

Cité par Sources :