 P-adically closed field

In mathematics, a "p"-adically closed field is a field that enjoys a closure property that is a close analogue for "p"-adic fields to what real closure is to the real field.They were introduced by James Ax and Simon B. Kochen in 1965.