Model Theory of the Real Field
摘要
We study the model theory of the real field, proving Tarski’s quantifier elimination and decidability results and studying its consequences. We include a brief discussion on more recent work on o-minimal expansions of the real field and exponentiation.