Publication:3349006
From MaRDI portal
zbMath0727.12014MaRDI QIDQ3349006
Publication date: 1989
12L05: Decidability and field theory
03C60: Model-theoretic algebra
12F10: Separable extensions, Galois theory
03B25: Decidability of theories and sets of sentences
11S99: Algebraic number theory: local fields
12L12: Model theory of fields
12J12: Formally (p)-adic fields
Related Items
Groups and fields with $\operatorname {NTP}_{2}$, Elementary geometric local-global principles for fields, Relative regular closedness and \(\pi\)-valuations, Undecidability of pseudo \(p\)-adically closed fields