Abstract
Pursuing the proof-theoretic program of Friedman and Simpson, we begin the study of the metamathematics of countable linear orderings by proving two main results. Over the weak base system consisting of arithmetic comprehension, II 11 -CA0 is equivalent to Hausdorff's theorem concerning the canonical decomposition of countable linear orderings into a sum over a dense or singleton set of scattered linear orderings. Over the same base system, ATR0 is equivalent to a version of the Continuum Hypothesis for linear orderings, which states that every countable linear ordering either has countably many or continuum many Dedekind cuts.
Similar content being viewed by others
References
Clote, P.: Optimal bounds for ordinal comparison maps. Arch. Math. Logik Grundlagenforsch.25, 99–107 (1985)
Fraïssé, R.: Theory of relations. Amsterdam: North-Holland 1986
Friedman, H.M.: Some systems of second order arithmetic and their use. Proc. Int. Congr. Mathematicians, Vancouver 1974 (1975), pp. 235–242
Friedman, H.M.: Systems of second order arithmetic with limited induction (Abstract). J. Symb. Logic41, 557–559 (1976)
Girard, J.-Y.: Proof theory and logical complexity. Studies in proof theory, Vol. 1. Naples:Bibliopolis 1987
Hausdorff, F.: Grundzüge einer Theorie der Geordneten Mengen. Math. Ann.65, 435–505 (1908)
Rosenstein, J.: Linear orderings. Pure and applied mathematics, Vol. 98. Eilenberg, S., Bass, H. (eds.). New York: Academic Press 1982
Higher recursion theory (forthcoming monograph). In preprint form as graduate course notes by D. MacQueen of a course by G. E. Sacks at M.I.T. in 1971/72
Simpson, S.G.: Friedman's research on subsystems of second order arithmetic. In: Harvey Friedman's research on the foundations of mathematics. Harrington, L.A. (eds.). Amsterdam: North-Holland, pp. 137–159, 1985
Simpson, S.G.: Ordinal numbers and the Hilbert basis theorem. In preprint form as Research Report of Department of Mathematics, Pennsylvania State University, 1986
Simpson, S.G.: Handwritten manuscript of sections from chapter, “Countable well orderings; analytic sets”, from this forthcoming monograph on Subsystems of Second Order Arithmetic
Author information
Authors and Affiliations
Additional information
Research partially supported by NSF grant # DCR-8606165. AMS Subject Classification 03F35, 03F15, 03D55
Rights and permissions
About this article
Cite this article
Clote, P. The metamathematics of scattered linear orderings. Arch Math Logic 29, 9–20 (1989). https://doi.org/10.1007/BF01630807
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01630807