Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

Forcing minimal extensions of Boolean algebras


Author: Piotr Koszmider
Journal: Trans. Amer. Math. Soc. 351 (1999), 3073-3117
MSC (1991): Primary 03E35, 03E50, 03E99, 06E15, 06E99, 54A25, 54A35, 54B35, 54G12, 54G99, 54H10
Published electronically: April 8, 1999
MathSciNet review: 1467471
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 $a\not \ni \infty $ the algebra $A|a$ is countable and $\infty $ has hereditary character $\lambda $.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 03E35, 03E50, 03E99, 06E15, 06E99, 54A25, 54A35, 54B35, 54G12, 54G99, 54H10

Retrieve articles in all journals with MSC (1991): 03E35, 03E50, 03E99, 06E15, 06E99, 54A25, 54A35, 54B35, 54G12, 54G99, 54H10


Additional Information

Piotr Koszmider
Affiliation: Departmento de Matemática, Universidade de São Paulo, Caixa Postal: 66281, São Paulo, SP, CEP: 05315-970, Brasil
Email: piotr@ime.usp.br

DOI: http://dx.doi.org/10.1090/S0002-9947-99-02145-5
PII: S 0002-9947(99)02145-5
Received by editor(s): June 6, 1994
Received by editor(s) in revised form: January 20, 1997
Published electronically: April 8, 1999
Additional Notes: Some results presented in this paper were obtained when the author was a Ph.D. student at the University of Toronto, under the supervision of Professors F.D. Tall and W. Weiss. Other results of this paper were obtained when the author was a National Science and Engineering Research Council of Canada postdoctoral fellow at York University, under the supervision of Professor J. Steprans.
Article copyright: © Copyright 1999 American Mathematical Society