Ultrafilter extensions of linear orders - Denis I. Saveliev (2013)