Computable linearizations of well-partial-orderings

Order

Volumn 24, Issue 1, 2007, Pages 39-48

  Montalbán, Antonio ^a  

^a UNIVERSITY OF CHICAGO   (United States)

Author keywords

Maximal order type; Well partial ordering

Indexed keywords

EID: 34548064311     PISSN: 01678094     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11083-007-9058-0     Document Type: Article

References (15)

1. Ash, C.J., Knight, J.F.: Pairs of recursive structures. Ann. Pure Appl. Logic 46(3), 211-234 (1990)
2. Ash, C.J., Knight, J.: Computable Structures and the Hyperarithmetical Hierarchy. Elsevier Science, Amsterdam (2000)
3. de Jongh, D.H.J., Parikh, R.: Well-partial orderings and hierarchies. Nederl. Akad. Wetensch. Proc. Ser. A 80 = Indag. Math. 39(3), 195-207 (1977)
4. Hessenberg, G.: Grundbegriffe der mengenlehre. Abhandlungen der Friesschen Schule N.S. 1.4(75) (1906)
5. Higman, G.: Ordering by divisibility in abstract algebras. Proc. Lond. Math. Soc. 2(3), 326-336 (1952)
6. Kruskal, J.B.: Well-quasi-ordering, the tree theorem, and Vazsonyi's conjecture. Trans. Am. Math. Soc. 95, 210-225 (1960)
7. Kruskal J.B.: The theory of well-quasi-ordering: A frequently discovered concept. J. Comb. Theory Ser. A 13, 297-305 (1972)
8. Laver, R.: On Fraïssé's order type conjecture. Ann. of Math. 93(2), 89-111 (1971)
9. Malicki, M., Rutkowski, A.: On operations and linear extensions of well partially ordered sets. Order 21(1), 7-17 (2005)
10. Nash-Williams, C.St.J.A.: On well-quasi-ordering transfinite sequences. Proc. Camb. Philos. Soc. 61, 33-39 (1965)
11. Rosenstein, J.: Linear Orderings. Academic, New York (1982)
12. Robertson, N, Seymour, P.D.: Graph minors. XX. Wagner's conjecture. J. Comb. Theory Ser. B 92(2), 325-357 (2004)
13. Schmidt, D.: Well-partial orderings and their maximal order types. Habilitationsschrift, University of Heidelberg (1979)
14. Soare, R.I.: Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. A study of computable functions and computably generated sets. Springer, Berlin (1987)
15. Spector, C.: Recursive well-orderings. J. Symb. Log. 20, 151-163 (1955)