Report copyright - Quantifler Elimination For Valued Fields · 2006-09-19 · QE stands for quantifler elimination. Theorem. 1 (Tarski). RCF admits QE in the language of ordered rings. Tarski’s
Please pass captcha verification before submit form
Please pass captcha verification before submit form