Publication:4769051
From MaRDI portal
zbMath0283.02039MaRDI QIDQ4769051
Publication date: 1966
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
03C35: Categoricity and completeness of theories
Related Items
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, Mixed characteristic homological theorems in low degrees., Dimension and singularity theory for local rings of finite embedding dimension, On elementary theories of lattices of subgroups