@article{10_4064_fm_61_1_29_32, author = {Saul Kripke}, title = {An extension of a theorem of {Gaifman-Hales-Solvay}}, journal = {Fundamenta Mathematicae}, pages = {29--32}, publisher = {mathdoc}, volume = {61}, number = {1}, year = {1967}, doi = {10.4064/fm-61-1-29-32}, language = {en}, url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-61-1-29-32/} }