ISSN:
1432-0665
Keywords:
03E35
;
06E99
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01469382
Permalink
