In 1948 A. Horn and A. Tarski asked whether the notions of a \sigma-finite cc and a \sigma-bounded cc ordering are equivalent. We give a negative answer to this question.
生成讲解博客的中文版本
生成AI智能校验的中文版本