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

DOI10.2307/2274695MaRDI QIDQ3984425zbMATH OpenOpenAlexFDO

Authors 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

\(p\)-adic Geyer fieldselementary theoryfinite corankP\(p\)C-fieldspseudo \(p\)-adically closed fields

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4200346
• Decidable theories of pseudo-\(p\)-adic closed fields
• scientific article; zbMATH DE number 125377
• Undecidability of pseudo \(p\)-adically closed fields

Cites work

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

Cited in

(16)

• The undecidability of pseudo real closed fields
• The geometric theory of p-adic fields
• Elementary equivalence and codimension in p-adic fields
• On the model companion for \(e\)-fold \(p\)-adically valued fields
• An undecidability result for the asymptotic theory of \(p\)-adic fields
• Undecidability of pseudo \(p\)-adically closed fields
• scientific article; zbMATH DE number 1824115 (Why is no real title available?)
• Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
• scientific article; zbMATH DE number 4200346 (Why is no real title available?)
• Model-complete theories of e-free Ax fields
• scientific article; zbMATH DE number 3946102 (Why is no real title available?)
• scientific article; zbMATH DE number 125377 (Why is no real title available?)
• Lifting of generating subgroups
• Groups and fields with \(\mathrm{NTP}_{2}\)
• Decidable theories of pseudo-\(p\)-adic closed fields
• Free pseudo \(p\)-adically closed fields of finite corank

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3984425)