加载中…
We show that the order dimension of the partial order of all finite subsets of under set inclusion is whenever is an infinite cardinal. We also show that the order dimension of any locally countable partial ordering of size , for any of uncountable cofinality, is at most . In particular, this implies that it is consistent with ZFC that the dimension of the Turing degrees under partial ordering can be strictly less than the continuum.

生成讲解博客的中文版本

生成AI智能校验的中文版本