Decidable theories of pseudo-\(p\)-adic closed fields
From MaRDI portal
Publication:753869
DOI10.1007/BF01980234zbMath0717.12005OpenAlexW2018922609MaRDI QIDQ753869
Publication date: 1989
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01980234
Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Formally (p)-adic fields (12J12)
Related Items
Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\), Elementary geometric local-global principles for fields, Groups and fields with $\operatorname {NTP}_{2}$
Cites Work