Computable valued fields

DOI10.1007/S00153-017-0589-9zbMATH Open1446.03070arXiv1602.08408OpenAlexW2962722379MaRDI QIDQ1661672FDOQ1661672

Matthew Harrison-Trainor

Publication date: 16 August 2018

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

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$.

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

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

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)

Cites Work

• Valued Fields
• The computable dimension of ordered abelian groups
• Formally \(p\)-adic fields
• Title not available (Why is that?)
• Computable Algebra, General Theory and Theory of Computable Fields
• On the structure of semialgebraic sets over p-adic fields
• Algebraic theories with definable Skolem functions
• On definable subsets of p-adic fields
• Complexity of structures associated with real closed fields
• Cell decomposition forP-minimal fields
• p-adic semi-algebraic sets and cell decomposition.
• Title not available (Why is that?)
• Some constructivizations of Abelian groups
• Computable fields and Galois theory
• Computing constraint sets for differential fields
• TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS
• Title not available (Why is that?)
• Independence in computable algebra
• COMPUTING STRENGTH OF STRUCTURES RELATED TO THE FIELD OF REAL NUMBERS
• The isomorphism problem for classes of computable fields
• Title not available (Why is that?)
• Motivic integration and its interactions with model theory and non-archimedean geometry. Vol. I
• On Computable Field Embeddings and Difference Closed Fields
• COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)