mu-complete Suslin trees on mu^+

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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^+ .

Keywords

Logic

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/152847

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/9306215
 http://arxiv.org/abs/math/9306215
 Arch. Math. Logic 32 (1993), 195--201

Collections

arXiv