Zorn's lemma and complete Boolean algebras in intuitionistic type theories

Journal of Symbolic Logic

Volumn 62, Issue 4, 1997, Pages 1265-1279

  Bell, J L ^a  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031313150     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275642     Document Type: Article

References (10)

1. B. BANASCHEWSKI, Compact regular frames and the Sikorski theorem, Kyungpook Mathematical Journal, vol. 28 (1988), no. 1, pp. 1-14.
2. _, On the injectivity of Boolean algebras, Commentationes Mathematiae Universitatis Carolinae, vol. 34 (1993), pp. 501-511.
3. B. BANASCHEWSKI and K. R. BHUTANI, Boolean algebras in a localic topos, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 100 (1986), pp. 43-55.
4. J. L. BELL, On the strength of the Sikorski extension theorem for Boolean algebras, this JOURNAL, vol. 48 (1983), no. 3, pp. 841-846.
5. _, Some propositions equivalent to the Sikorski extension theorem for Boolean algebras, Fundamenta Mathematicae, vol. 130 (1988), pp. 51-55.
6. _, Toposes and local set theories: An introduction, Oxford University Press, 1988.
7. P. R. HALMOS, Lectures on Boolean algebras, Van Nostrand, 1963.
8. P. T. JOHNSTONE, Conditions related to de Morgan's law. Applications of sheaves, Springer Lecture Notes in Mathematics, no. 753, Springer-Verlag, 1979, pp. 479-91.
9. G. P. MONRO, On generic extensions without the axiom of choice, this JOURNAL, vol. 48 (1983), no. 1, pp. 39-52.
10. R. SIKORSKI, A theorem on extensions of homomorphisms, Annales de la Societé Pol. de Mathématiques, vol. 21 (1948), pp. 332-35.