Elimination of quantifiers in algebraic structures (Q787962)

The paper contains a series of results to the effect that several known cases where quantifier elimination (QE) holds are the only ones with QE for suitably chosen languages. More precisely, the paper contains proofs for the following results: 1) Infinite rings whose theory in the language of rings with identity admit QE, are algebraically closed. 2) Ordered fields whose theory in the language of ordered domains admits QE, are real closed. 3) p-fields whose theory in the language of valued fields with extra predicates \(P_ n\) for non-zero \(n^{th}\) powers admits QE, are p-adically closed. 4) Nontrivially valued fields whose theory admits QE are algebraically closed.