Implicative homomorphisms with finite ranges
HTML articles powered by AMS MathViewer
- by William C. Nemitz PDF
- Proc. Amer. Math. Soc. 33 (1972), 319-322 Request permission
Abstract:
In this note, it is shown that every implicative homomorphism with a finite range is a factor of a projection.References
- Garrett Birkhoff, Lattice theory, 3rd ed., American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, Providence, R.I., 1967. MR 0227053
- Haskell B. Curry, Foundations of mathematical logic, McGraw-Hill Book Co., Inc., New York-San Francisco, Calif.-Toronto-London 1963. MR 0148529
- Orrin Frink, Pseudo-complements in semi-lattices, Duke Math. J. 29 (1962), 505–514. MR 140449
- William C. Nemitz, Implicative semi-lattices, Trans. Amer. Math. Soc. 117 (1965), 128–142. MR 176944, DOI 10.1090/S0002-9947-1965-0176944-9
- William C. Nemitz, Semi-Boolean lattices, Notre Dame J. Formal Logic 10 (1969), 235–238. MR 245486
Additional Information
- © Copyright 1972 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 33 (1972), 319-322
- MSC: Primary 06A25
- DOI: https://doi.org/10.1090/S0002-9939-1972-0307992-2
- MathSciNet review: 0307992