scientific article; zbMATH DE number 3430642
From MaRDI portal
Publication:5181355
zbMath0274.02022MaRDI QIDQ5181355
Publication date: 1965
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)
Related Items (11)
The algebra and model theory of tame valued fields ⋮ Some model theory for Henselian valued fields ⋮ Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups ⋮ Towards a general theory of formally p-adic 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 ⋮ Proof of a lemma on model completeness ⋮ Hyperfields, truncated DVRs, and valued fields ⋮ Lectures on the Model Theory of Valued Fields ⋮ Relative elimination of quantifiers for Henselian valued fields
This page was built for publication:
