New answers tagged

3 votes

Tarski's original proof of quantifier elimination in algebraically closed fields

Passmore's PhD thesis has an introductory section developing an elementary quantifier elimination algorithm for algebraically closed fields of characteristic zero "from scratch" with much ...
user avatar
5 votes
Accepted

Tarski's original proof of quantifier elimination in algebraically closed fields

I doubt you’ll find a shorter proof than Swan’s which is equally elementary. In particular: For algebraically closed fields, you can stop in the middle of page 10 of the document, which should make ...
user avatar
  • 16.6k

Top 50 recent answers are included