scientific article; zbMATH DE number 3443643
From MaRDI portal
zbMath0283.02039MaRDI QIDQ4769051
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Connections between field theory and logic (12L99) Normed fields (12J05) Categoricity and completeness of theories (03C35)
Related Items
The algebra and model theory of tame valued fields, Some model theory for Henselian valued fields, Mixed characteristic homological theorems in low degrees., Groups elementarily equivalent to a free 2-nilpotent group of finite rank., Dimension and singularity theory for local rings of finite embedding dimension, On elementary theories of lattices of subgroups, Lectures on the Model Theory of Valued Fields, Relative elimination of quantifiers for Henselian valued fields