Computable valued fields

DOI10.1007/s00153-017-0589-9zbMath1446.03070arXiv1602.08408OpenAlexW2962722379MaRDI QIDQ1661672

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) Model theory of fields (12L12) Valued fields (12J10)

Cites Work

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

This page was built for publication: Computable valued fields