Computable valued fields

DOI10.1007/S00153-017-0589-9MaRDI QIDQ1661672zbMATH OpenOpenAlexFDO

Authors Matthew Harrison-Trainor

Publication date 16 August 2018

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

valued fieldscomputable model theoryextending valuations

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Valued fields (12J10) Model theory of fields (12L12)

Abstract: We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued field which is necessary and sufficient to extend the valuation to any algebraic extension. We show that there is a computable formally $p$-adic field which does not embed into any computable $p$-adic closure, but we give an effectiveness condition on the divisibility relation in the value group which is sufficient to find such an embedding. By checking that algebraically closed valued fields and $p$-adically closed valued fields of infinite transcendence degree have the Mal'cev property, we show that they have computable dimension $omega$.

Recommendations

• On computable field embeddings and difference closed fields
• scientific article; zbMATH DE number 2020233
• Categoricity properties for computable algebraic fields
• Some Subfields of Qp, and their Non-Standard Analogues
• Computable dimension for ordered fields

Cites work

• scientific article; zbMATH DE number 3863176 (Why is no real title available?)
• scientific article; zbMATH DE number 3752834 (Why is no real title available?)
• scientific article; zbMATH DE number 1302870 (Why is no real title available?)
• scientific article; zbMATH DE number 3222940 (Why is no real title available?)
• Algebraic theories with definable Skolem functions
• Cell decomposition forP-minimal fields
• Complexity of structures associated with real closed fields
• Computable Algebra, General Theory and Theory of Computable Fields
• Computable fields and Galois theory
• Computable functors and effective interpretability
• Computing constraint sets for differential fields
• Computing strength of structures related to the field of real numbers
• Formally p-adic fields
• Independence in computable algebra
• Motivic integration and its interactions with model theory and non-archimedean geometry. Vol. I
• On computable field embeddings and difference closed fields
• On definable subsets of p-adic fields
• On the structure of semialgebraic sets over p-adic fields
• Some constructivizations of Abelian groups
• TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS
• The computable dimension of ordered abelian groups
• The isomorphism problem for classes of computable fields
• Valued Fields
• p-adic semi-algebraic sets and cell decomposition.

Cited in

(6)

• scientific article; zbMATH DE number 2020233 (Why is no real title available?)
• Adapting Rabin's theorem for differential fields
• scientific article; zbMATH DE number 1390022 (Why is no real title available?)
• scientific article; zbMATH DE number 4081542 (Why is no real title available?)
• On computable field embeddings and difference closed fields
• Some Subfields of Qp, and their Non-Standard Analogues

This page was built for publication: Computable valued fields

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