On computable field embeddings and difference closed fields

DOI10.4153/CJM-2016-044-7MaRDI QIDQ4597579zbMATH OpenFDO

Authors Matthew Harrison-Trainor, Alexander Melnikov, Russell Miller

Publication date 13 December 2017

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

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

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)

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.

Recommendations

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

Cited in

(5)

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

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)