A proof of Hechler's theorem on embedding $\aleph_1$-directed sets cofinally into $(\omega^\omega,<^*)$
A proof of Hechler's theorem on embedding
$\aleph_1$-directed sets cofinally into
$(\omega^\omega,<^*)$
复制标题
赫克勒定理的证明，将 $aleph_1$ 定向集合最终嵌入 $(omega^omega,<^*)$
DOI：
10.1007/s001530050072
复制
发表时间：
1997
影响因子：
0.3
通讯作者：
M. Burke
中科院分区：
文献类型：
--
作者：
M. Burke
摘要。我们给出了赫克勒定理的一个证明
Abstract. We give a proof of Hechler's theorem that any
$\aleph_1$-directed partial order can be embedded via a ccc forcing notion cofinally into
$\omega^\omega$ ordered by eventual dominance. The proof relies on the standard forcing relation rather than the variant introduced by Hechler.