Paul Shafer: The strength of compactness for countable complete linear orders. Comput. 9(1): 25-36 (2020)