An extension of a theorem of Gaifman-Hales-Solvay
Tom 61 / 1967
Fundamenta Mathematicae 61 (1967), 29-32
DOI: 10.4064/fm-61-1-29-32