Displaying similar documents to “Elementary equivalence and codimension in p-adic fields.”