加载中…
The shuffle of a non-empty countable set of linear orders is the (unique up to isomorphism) linear order obtained by fixing a coloring function having fibers dense in and replacing each rational in with an isomorphic copy of . We prove that any two countable shuffles that embed as convex subsets into each other are order isomorphic.

生成讲解博客的中文版本

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