Fields interpretable in P-minimal fields

2021/03/28 by Yatir Halevi, Halevi, Yatir, Assaf Hasson +3
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #Rings and Algebras (math.RA)

paper · pdf · doi:10.48550/arxiv.2103.15198

openalex publication_date 2021/03/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We prove that an infinite field interpretable in a p-adically closed field K is definably isomorphic to a finite extension of K. The result remains true in any P-minimal field where definable functions are generically differentiable.

Related

• Interpretable Fields in Various Valued Fields
• Interpretable fields in real closed valued fields and some expansions
• On groups interpretable in various valued fields
• Definable completeness of P-minimal fields and applications
• Definably semisimple groups interpretable in p-adically closed fields