On computable field embeddings and difference closed fields

DOI10.4153/CJM-2016-044-7zbMATH Open1423.03149arXiv1506.02791MaRDI QIDQ4597579FDOQ4597579

Authors: Matthew Harrison-Trainor, Alexander Melnikov, Russell Miller 

Publication date: 13 December 2017

Published in: Canadian Journal of Mathematics (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1506.02791

Recommendations

• Computable valued fields
• Embeddings of computable structures
• Combinatory differential fields
• scientific article; zbMATH DE number 459045
• Computable embeddings and strongly minimal theories

zbMATH Keywords

computable algebradifference fieldalgebraic fieldextension of automorphism

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Difference algebra (12H10)

Cited In (5)

• Punctually presented structures I: Closure theorems
• COMPUTABLY COMPACT METRIC SPACES
• Adapting Rabin's theorem for differential fields
• Computably and punctually universal spaces
• Computable valued fields

This page was built for publication: On computable field embeddings and difference closed fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4597579)