Divergent Legendre-Sobolev polynomial series

Angelina Ilić Stepić, Žarko Mijajlović

The theory of real closed fields admits elimination of quantifiers, therefore fundamental theorems of analysis hold for all definable functions in all real closed fields. We consider the opposite problem: If we assume that in a formally real field some fundamental theorem of analysis holds, would the formally real field be actually real closed?