Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories

Journal of Symbolic Logic 62 (4):1265-1279 (1997)
  Copy   BIBTEX

Abstract

We analyze Zorn's Lemma and some of its consequences for Boolean algebras in a constructive setting. We show that Zorn's Lemma is persistent in the sense that, if it holds in the underlying set theory, in a properly stated form it continues to hold in all intuitionistic type theories of a certain natural kind. We also establish the persistence of some familiar results in the theory of Boolean algebras--notably, the proposition that every complete Boolean algebra is an absolute subretract. This resolves a question of Banaschewski and Bhutani as to whether the Sikorski extension theorem for Boolean algebras is persistent.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,446

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Dense subtrees in complete Boolean algebras.Bernhard König - 2006 - Mathematical Logic Quarterly 52 (3):283-287.
Rudin-Keisler Posets of Complete Boolean Algebras.A. Pinus, P. Jipsen & H. Rose - 2001 - Mathematical Logic Quarterly 47 (4):447-454.
Boolean algebras in ast.Klaus Schumacher - 1992 - Mathematical Logic Quarterly 38 (1):373-382.
Boolean products of R0-algebras.Xiangnan Zhou & Qingguo Li - 2010 - Mathematical Logic Quarterly 56 (3):289-298.
σ-short Boolean algebras.Makoto Takahashi & Yasuo Yoshinobu - 2003 - Mathematical Logic Quarterly 49 (6):543-549.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Semi-Cohen Boolean algebras.Bohuslav Balcar, Thomas Jech & Jindřich Zapletal - 1997 - Annals of Pure and Applied Logic 87 (3):187-208.
A Note on Boolean Algebras with Few Partitions Modulo some Filter.Markus Huberich - 1996 - Mathematical Logic Quarterly 42 (1):172-174.
On well-generated Boolean algebras.Robert Bonnet & Matatyahu Rubin - 2000 - Annals of Pure and Applied Logic 105 (1-3):1-50.

Analytics

Added to PP
2017-02-21

Downloads
7 (#1,187,033)

6 months
1 (#1,005,371)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

References found in this work

No references found.

Add more references