The elementary theory of free pseudo p-adically closed fields of finite corank

DOI10.2307/2274695zbMath0789.12004OpenAlexW2009139840MaRDI QIDQ3984425

Ido Efrat

Publication date: 27 June 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274695

zbMATH Keywords

elementary theoryfinite corankpseudo \(p\)-adically closed fields\(p\)-adic Geyer fieldsP\(p\)C-fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Hilbertian fields; Hilbert's irreducibility theorem (12E25) Model theory of fields (12L12) Formally (p)-adic fields (12J12)

Related Items (4)

Lifting of generating subgroups ⋮ On the model companion for \(e\)-fold \(p\)-adically valued fields ⋮ Undecidability of pseudo \(p\)-adically closed fields ⋮ Groups and fields with $\operatorname {NTP}_{2}$

Cites Work

• Free pseudo \(p\)-adically closed fields of finite corank
• The elementary theory of large e-fold ordered fields
• The elementary theory of algebraic fields of finite corank
• Decision procedures for real and p‐adic fields

This page was built for publication: The elementary theory of free pseudo p-adically closed fields of finite corank