This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
[Clo89]P. Cloth , The metamathematics of scattered linear orderings, Archive for Mathematical Logic, vol. 29 (1989), no. 1, pp. 9–20.
[Clo90]P. Cloth , The metamathematics of Fraïssé's order type conjecture, Recursion theory week (Oberwolfach, 1989), Lecture Notes in Mathematics, vol. 1432, Springer, Berlin, 1990, pp. 41–56.
[DHLS03]Rodney G. Downey , Denis R. Hirschfeldt , Steffen Lempp , and Reed Solomon , Computahility-theoretic and proof-theoretic aspects of partial and linear orderings, Israel Journal of Mathematics, vol. 138 (2003), pp. 271–352.
[JS91]Carl G. Jockusch Jr., and Robert I. Soare , Degrees of orderings not isomorphic to recursive linear orderings, Annals of Pure and Applied Logic, vol. 52 (1991), no. 1-2, pp. 39–64, International Symposium on Mathematical Logic and its Applications (Nagoya, 1988).
[Lav71]Richard Laver , On Fruïssé's order type conjecture, Annals of Mathematics. Second Series, vol. 93 (1971), pp. 89–111.
[Nas68]C. St. J. A. Nash-Williams , On better-quasi-ordering transfinite sequences, Proceedings of the Cambridge Philosophical Society, vol. 64 (1968), pp. 273–290.
[Sac90]Gerald E. Sacks , Higher recursion theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1990.
[Sim99]Stephen G. Simpson , Subsystems of second order arithmetic, Springer, 1999.