Abstract
This paper presents a proof that Boolean algebras have the strong amalgamation property which does not use any choice principle, based on a feature of their binary coproducts which is derived by means of a construction from pointfree topology.
Similar content being viewed by others
References
Johnstone P.T.: Stone Spaces Cambridge studies in advanced mathematics, vol 3. Cambridge University Press, Cambridge (1982)
LaGrange R.: Amalgamation and epimorphisms in m-complete Boolean algebras. Algebra Universalis 4, 277–279 (1974)
Pultr, A.: Frames. In: Hazewinkel, M. (ed.) Handbook of Algebra, vol. 3, pp. 791–853. Elsevier Science (2003)
Vickers S.: Topology via Logic. Cambridge Tracts in Theoretical Computer Science, vol. 5. Cambridge University Press, Cambridge (1989)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by S. Koppelberg.
Rights and permissions
About this article
Cite this article
Banaschewski, B. On the strong amalgamation of Boolean algebras. Algebra Univers. 63, 235–238 (2010). https://doi.org/10.1007/s00012-010-0072-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-010-0072-5