We investigate the statement “the order topology of every countable complete linear order is compact” in the framework of reverse mathematics, and we find that the statement’s strength depends on the precise formulation of compactness. If we require that open covers must be uniformly expressible as unions of basic open sets, then the compactness of complete linear orders is equivalent to over . If open covers need not be uniformly expressible as unions of basic open sets, then the compactness of complete linear orders is equivalent to over . This answers a question of François Dorais.
F.G.Dorais, Reverse mathematics of compact countable second-countable spaces, 2011, arXiv:1110.6555v1.
2.
F.G.Dorais, 2018, Personal communication.
3.
H.Friedman, Some systems of second order arithmetic and their use, in: Proceedings of the International Congress of Mathematicians (Vancouver, B.C., 1974), Vol. 1, Canad. Math. Congress, Montreal, Que, 1975, pp. 235–242.
4.
E.Frittaion, M.Hendtlass, A.Marcone, P.Shafer and J.Van der Meeren, Reverse mathematics, well-quasi-orders, and Noetherian spaces, Archive for Mathematical Logic55(3–4) (2016), 431–459. doi:10.1007/s00153-015-0473-4.
5.
P.Hájek and P.Pudlák, Metamathematics of First-Order Arithmetic, 2nd edn, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998, p. xiv+460. ISBN 3-540-63648-X.
6.
C.Mummert, Reverse mathematics of MF spaces, Journal of Mathematical Logic6(2) (2006), 203–232. doi:10.1142/S0219061306000578.
7.
C.Mummert and S.G.Simpson, Reverse mathematics and comprehension, Bulletin of Symbolic Logic11(4) (2005), 526–533. doi:10.2178/bsl/1130335208.
8.
J.R.Munkres, Topology, 2nd edn, Prentice Hall, Inc., Upper Saddle River, NJ, 2000, p. xvi+537. ISBN 0-13-181629-2.
9.
S.G.Simpson, Subsystems of Second Order Arithmetic, Perspectives in Logic, 2nd edn, Cambridge University Press, Cambridge, 2009, p. xvi+444. ISBN 978-0-521-88439-6.
10.
S.G.Simpson and K.Yokoyama, Reverse mathematics and Peano categoricity, Annals of Pure and Applied Logic164(3) (2013), 284–293. doi:10.1016/j.apal.2012.10.014.
