中文

$\mu$-complete Souslin trees on $\mu^+$

逻辑 2008-02-03 v1

摘要

We prove that μ=μ<μ\mu=\mu^{<\mu}, 2μ=μ+2^\mu=\mu^+ and ``there is a non reflecting stationary subset of μ+\mu^+ composed of ordinals of cofinality <μ<\mu'' imply that there is a μ\mu-complete Souslin tree on μ+\mu^+.

引用

@article{arxiv.math/9209204,
  title  = {$\mu$-complete Souslin trees on $\mu^+$},
  author = {Menachem Kojman},
  journal= {arXiv preprint arXiv:math/9209204},
  year   = {2008}
}