Maximal Deductive Systems and Injective Objects in the Category of Hilbert Algebras
- 1 January 1988
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 34 (3) , 213-220
- https://doi.org/10.1002/malq.19880340305
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- On the strength of the Sikorski extension theorem for Boolean algebrasThe Journal of Symbolic Logic, 1983
- The Maximal Ideal Theorem for Lattices of SetsBulletin of the London Mathematical Society, 1972
- The Boolean prime ideal theorem does not imply the axiom of choice.Proceedings of Symposia in Pure Mathematics, 1971
- Injective and Projective Heyting AlgebrasTransactions of the American Mathematical Society, 1970
- Injective and projective Heyting algebrasTransactions of the American Mathematical Society, 1970
- A remark on Sikorski's extension theorem for homomorphisms in the theory of Boolean algebrasFundamenta Mathematicae, 1964