Injective and projective Heyting algebras
HTML articles powered by AMS MathViewer
- by Raymond Balbes and Alfred Horn
- Trans. Amer. Math. Soc. 148 (1970), 549-559
- DOI: https://doi.org/10.1090/S0002-9947-1970-0256952-1
- PDF | Request permission
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
- Paul R. Halmos, Lectures on Boolean algebras, Van Nostrand Mathematical Studies, No. 1, D. Van Nostrand Co., Inc., Princeton, N.J., 1963. MR 0167440
- J. C. C. McKinsey and Alfred Tarski, On closed elements in closure algebras, Ann. of Math. (2) 47 (1946), 122–162. MR 15037, DOI 10.2307/1969038
- Iwao Nishimura, On formulas of one variable in intuitionistic propositional calculus, J. Symbolic Logic 25 (1960), 327–331 (1962). MR 142456, DOI 10.2307/2963526
- Helena Rasiowa and Roman Sikorski, The mathematics of metamathematics, Monografie Matematyczne, Tom 41, Państwowe Wydawnictwo Naukowe, Warsaw, 1963. MR 0163850
Bibliographic Information
- © Copyright 1970 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 148 (1970), 549-559
- MSC: Primary 06.60
- DOI: https://doi.org/10.1090/S0002-9947-1970-0256952-1
- MathSciNet review: 0256952