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
Lectures on the Model Theory of 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., Dimension and singularity theory for local rings of finite embedding dimension