Computable valued fields
From MaRDI portal
Publication:1661672
DOI10.1007/s00153-017-0589-9zbMath1446.03070arXiv1602.08408OpenAlexW2962722379MaRDI QIDQ1661672
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
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