Abstract.
Given a stationary subset T of \(\omega_{1}\), let \(\tilde{T}\) be the set of ordinals in the interval \((\omega_{1}, \omega_{2})\) which are necessarily in the image of T by any embedding derived from the nonstationary ideal. We consider the question of the size of \(\tilde{T}\), givenT, and use Martin's Maximum and \(\mathbb{P}_{max}\) to give some answers.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 23 November 1998
Rights and permissions
About this article
Cite this article
Larson, P. The size of $\tilde{T}$. Arch Math Logic 39, 541–568 (2000). https://doi.org/10.1007/s001530050164
Issue Date:
DOI: https://doi.org/10.1007/s001530050164