Extending Partial Orders to Dense Linear Orders
暂无分享,去创建一个
Abstract J. Łoś raised the following question: Under what conditions can a countable partially ordered set be extended to a dense linear order merely by adding instances of comparability (without adding new points)? We show that having such an extension is a Σ 1 l -complete property and so there is no Borel answer to Łoś's question. Additionally, we show that there is a natural Π 1 l -norm on the partial orders which cannot be so extended and calculate some natural ranks in that norm.
[1] S. Kleene. Hierarchies of number-theoretic predicates , 1955 .