Fundamental theorems of analysis in formally real fields.

Ilić Stepić, Angelina, and Mijajlović, Žarko. "Fundamental theorems of analysis in formally real fields.." Novi Sad Journal of Mathematics 38.3 (2008): 27-32. <http://eudml.org/doc/231669>.

@article{IlićStepić2008,
author = {Ilić Stepić, Angelina, Mijajlović, Žarko},
journal = {Novi Sad Journal of Mathematics},
keywords = {formally real field; real closed field; elimination of quantifiers; fundamental theorem of analysis},
language = {eng},
number = {3},
pages = {27-32},
publisher = {University of Novi Sad, Faculty of Science, Institute of Mathematics},
title = {Fundamental theorems of analysis in formally real fields.},
url = {http://eudml.org/doc/231669},
volume = {38},
year = {2008},
}

TY - JOUR
AU - Ilić Stepić, Angelina
AU - Mijajlović, Žarko
TI - Fundamental theorems of analysis in formally real fields.
JO - Novi Sad Journal of Mathematics
PY - 2008
PB - University of Novi Sad, Faculty of Science, Institute of Mathematics
VL - 38
IS - 3
SP - 27
EP - 32
LA - eng
KW - formally real field; real closed field; elimination of quantifiers; fundamental theorem of analysis
UR - http://eudml.org/doc/231669
ER -