Publication:5181355
From MaRDI portal
zbMath0274.02022MaRDI QIDQ5181355
Publication date: 1965
12L05: Decidability and field theory
03C60: Model-theoretic algebra
03B25: Decidability of theories and sets of sentences
12L99: Connections between field theory and logic
12J05: Normed fields
Related Items
Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups, Lectures on the Model Theory of Valued Fields, The algebra and model theory of tame valued fields, Groups elementarily equivalent to a free 2-nilpotent group of finite rank., Relative elimination of quantifiers for Henselian valued fields, Some model theory for Henselian valued fields, Towards a general theory of formally p-adic fields, Proof of a lemma on model completeness, Mixed characteristic homological theorems in low degrees., Hyperfields, truncated DVRs, and valued fields, Dimension and singularity theory for local rings of finite embedding dimension