Dynamic evaluation and real closure Original Research Article

The aim of this paper is to present how the dynamic evaluation method can be used to deal with the real closure of an ordered field. Two kinds of questions, or tests, may be asked in an ordered field: equality tests (a = b?) and sign tests (a > b?). Equality tests are handled through splittings, exactly as in the algebraic closure of a field. Sign tests are handled through a structure called “Tarski data type”.