On Computable Field Embeddings and Difference Closed Fields
From MaRDI portal
Publication:4597579
DOI10.4153/CJM-2016-044-7zbMath1423.03149arXiv1506.02791MaRDI QIDQ4597579
Matthew Harrison-Trainor, Alexander G. Melnikov, Russell G. 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
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Difference algebra (12H10)
Related Items (3)
Computable valued fields ⋮ Punctually presented structures I: Closure theorems ⋮ COMPUTABLY COMPACT METRIC SPACES
This page was built for publication: On Computable Field Embeddings and Difference Closed Fields