0-D-valued fields

DOI10.2178/jsl/1146620164zbMath1109.03029OpenAlexW2006675272MaRDI QIDQ5480631

Nicolas Guzy

Publication date: 3 August 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1146620164

zbMATH Keywords

quantifier eliminationpositivstellensatzreal-series closed fieldvalued \(D\)-field

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)

Related Items (1)

Henselian residually \(p\)-adically closed fields

Cites Work

• A positivstellensatz for chain-closed fields, \({\mathbb{R}}((t))\) and some related fields
• A nullstellensatz for ℝ((t))

This page was built for publication: 0-D-valued fields