computable linear orders;
Dushnik-Miller;
self-embedding;
D O I:
10.1016/j.apal.2005.06.008
中图分类号:
O29 [应用数学];
学科分类号:
070104 ;
摘要:
The Dushnik-Miller Theorem states that every infinite countable linear ordering has a nontrivial self-embedding. We examine compulability-theoretical aspects of this classical theorem. (c) 2005 Elsevier B.V. All rights reserved.
机构:
Victoria Univ Wellington, Sch Math Stat & Comp Sci, Wellington 6140, New ZealandVictoria Univ Wellington, Sch Math Stat & Comp Sci, Wellington 6140, New Zealand
Downey, Rodney G.
Kastermans, Bart
论文数: 0引用数: 0
h-index: 0
机构:
Univ Colorado, Dept Math, Boulder, CO 80309 USAVictoria Univ Wellington, Sch Math Stat & Comp Sci, Wellington 6140, New Zealand
Kastermans, Bart
Lempp, Steffen
论文数: 0引用数: 0
h-index: 0
机构:
Univ Wisconsin, Dept Math, Madison, WI 53706 USAVictoria Univ Wellington, Sch Math Stat & Comp Sci, Wellington 6140, New Zealand