Abstract
The countable sequences of cardinals which arise as cardinal sequences of superatomic Boolean algebras were characterized by La Grange on the basis of ZFC set theory. However, no similar characterization is available for uncountable cardinal sequences. In this paper we prove the following two consistency results:
-
(1)
Ifθ = 〈κ α :α <ω 1〉 is a sequence of infinite cardinals, then there is a cardinal-preserving notion of forcing that changes cardinal exponentiation and forces the existence of a superatomic Boolean algebraB such that θ is the cardinal sequence ofB.
-
(2)
Ifκ is an uncountable cardinal such thatκ <κ =κ andθ = 〈κ α :α <κ +〉 is a cardinal sequence such thatκ α ≥κ for everyα <κ + andκ α =κ for everyα <κ + such that cf(α)<κ, then there is a cardinal-preserving notion of forcing that changes cardinal exponentiation and forces the existence of a superatomic Boolean algebraB such that θ is the cardinal sequence ofB.
Similar content being viewed by others
References
Baumgartner, J., Shelah, S.: Remarks on superatomic Boolean algebras. Ann. Pure Appl. Logic33, 109–129 (1987)
Juhász, I., Weiss, W.: On thin-tall scattered spaces. Colloq. Math.40, 63–68 (1978)
Koepke, P., Martínez, J.C.: Superatomic Boolean algebras constructed from morasses. J. Symb. Logic (to appear)
La Grange, R.: Concerning the cardinal sequence of a Boolean algebra. Algebra Univers.7, 307–313 (1977)
Martínez, J.C.: A consistency result on thin-tall superatomic Boolean algebras. Proc. Am. Math. Soc.115, 473–477 (1992)
Roitman, J.: Superatomic Boolean algebras. In: Monk, J.D., Bonnet, R. (eds.) Handbook of Boolean algebras, pp. 719–740. Amsterdam: North-Holland 1989
Author information
Authors and Affiliations
Additional information
The preparation of this paper was supported by DGICYT Grant PB91-0279