TheL <ω-theory of the class of Archimedian real closed fields Gerd Bürger OriginalPaper Pages: 155 - 166
On the elimination of Malitz quantifiers over Archimedian real closed fields Peter Koepke OriginalPaper Pages: 167 - 171