Some model theory for Henselian valued fields
From MaRDI portal
Publication:1134757
DOI10.1016/0021-8693(78)90217-XzbMath0424.03016MaRDI QIDQ1134757
Publication date: 1978
Published in: Journal of Algebra (Search for Journal in Brave)
Model-theoretic algebra (03C60) Valued fields (12J10) Henselian rings (13J15) Ultraproducts and field theory (12L10)
Related Items (6)
On the structure of certain valued fields ⋮ Decidability via the tilting correspondence ⋮ Towards a general theory of formally p-adic fields ⋮ Hyperfields, truncated DVRs, and valued fields ⋮ Diophantine problems over tamely ramified fields ⋮ Relative elimination of quantifiers for Henselian valued fields
Cites Work
- Diophantine problems over local fields. III: Decidable fields
- Diophantine Problems Over Local Fields I
- Decision procedures for real and p‐adic fields
- Summands of Separable Abelian Groups: Dedicated to Paul Turán on his 60th Birthday
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Some model theory for Henselian valued fields