Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904290 | Annals of Pure and Applied Logic | 2018 | 20 Pages |
Abstract
In this paper, we prove Kierstead's conjecture for linear orders whose order types are âqâQF(q), where F is an extended 0â²-limitwise monotonic function, i.e. F can take value ζ. Linear orders in our consideration can have finite and infinite blocks simultaneously, and in this sense our result subsumes a recent result of C. Harris, K. Lee and S.B. Cooper, where only those linear orders with finite blocks are considered. Our result also covers one case of R. Downey and M. Moses' work, i.e. ζâ
η. It covers some instances not being considered in both previous works mentioned above, such as mâ
η+ζâ
η+nâ
η, for example, where m,n>0.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Guohua Wu, Maxim Zubkov,