Undecidability of pseudo \(p\)-adically closed fields

DOI10.1007/BF01190114zbMath0724.12010OpenAlexW2057534620MaRDI QIDQ2277025

Ido Efrat

Publication date: 1992

Published in: Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01190114

zbMATH Keywords

decidabilityfirst-order theoriespseudo p-adically closed

Mathematics Subject Classification ID

Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Formally (p)-adic fields (12J12)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Free pseudo \(p\)-adically closed fields of finite corank
• Reducibility of polynomials in several variables. II
• The undecidability of pseudo real closed fields
• Irreducibility results for separated variables equations
• Undecidability of regularly closed fields
• The absolute Galois group of a pseudo p-adically closed field.
• Absolute Galois Groups of p-Adically Maximal PpC Fields
• The elementary theory of free pseudo p-adically closed fields of finite corank

This page was built for publication: Undecidability of pseudo \(p\)-adically closed fields