The strength of compactness for countable complete linear orders

Paul Shafer. The strength of compactness for countable complete linear orders. Computability, 9(1):25-36, 2020. [doi]