The theory of Archimedean real closed fields in logics with Ramsey quantifiers
Volume 103 / 1979
Fundamenta Mathematicae 103 (1979), 65-76
DOI: 10.4064/fm-103-1-65-76
