mu-complete Suslin trees on mu^+
Logic
2008-02-03 v1
Abstract
We prove that mu = mu^{< mu}, 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^+ .
Cite
@article{arxiv.math/9306215,
title = {mu-complete Suslin trees on mu^+},
author = {Menachem Kojman and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9306215},
year = {2008}
}