Report copyright - Quantifler Elimination For Valued Fieldseschimme/seminar/YinSlides12.pdfQE stands for quantifler elimination. Theorem. 1 (Tarski). RCF admits QE in the language of ordered rings
Please pass captcha verification before submit form
Please pass captcha verification before submit form