首页 | 本学科首页   官方微博 | 高级检索  
     


Forcing minimal extensions of Boolean algebras
Authors:Piotr Koszmider
Affiliation:Departmento de Matemática, Universidade de São Paulo, Caixa Postal: 66281, São Paulo, SP, CEP: 05315-970, Brasil
Abstract:We employ a forcing approach to extending Boolean algebras. A link between some forcings and some cardinal functions on Boolean algebras is found and exploited. We find the following applications:

1) We make Fedorchuk's method more flexible, obtaining, for every cardinal $lambda $ of uncountable cofinality, a consistent example of a Boolean algebra $A_{lambda }$ whose every infinite homomorphic image is of cardinality $lambda $ and has a countable dense subalgebra (i.e., its Stone space is a compact S-space whose every infinite closed subspace has weight $lambda $). In particular this construction shows that it is consistent that the minimal character of a nonprincipal ultrafilter in a homomorphic image of an algebra $A$ can be strictly less than the minimal size of a homomorphic image of $A$, answering a question of J. D. Monk.

2) We prove that for every cardinal of uncountable cofinality it is consistent that $2^{omega }=lambda $ and both $A_{lambda }$ and $A_{omega _{1}}$ exist.

3) By combining these algebras we obtain many examples that answer questions of J.D. Monk.

4) We prove the consistency of MA + $neg $CH + there is a countably tight compact space without a point of countable character, complementing results of A. Dow, V. Malykhin, and I. Juhasz. Although the algebra of clopen sets of the above space has no ultrafilter which is countably generated, it is a subalgebra of an algebra all of whose ultrafilters are countably generated. This proves, answering a question of Arhangel$'$skii, that it is consistent that there is a first countable compact space which has a continuous image without a point of countable character.

5) We prove that for any cardinal $lambda $ of uncountable cofinality it is consistent that there is a countably tight Boolean algebra $A$ with a distinguished ultrafilter $infty $ such that for every $anot ni infty $ the algebra $A|a$ is countable and $infty $ has hereditary character $lambda $.

Keywords:
点击此处可从《Transactions of the American Mathematical Society》浏览原始摘要信息
点击此处可从《Transactions of the American Mathematical Society》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号