Injective and projective Heyting algebras
Authors:
Raymond Balbes and Alfred Horn
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
Full-text PDF Free Access
References | Similar Articles | Additional Information
- [1] Garrett Birkhoff, Lattice theory, Third edition. American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, Providence, R.I., 1967. MR 0227053
- [2] Haskell B. Curry, Foundations of mathematical logic, McGraw-Hill Book Co., Inc., New York-San Francisco, Calif.-Toronto-London, 1963. MR 0148529
- [3] Paul R. Halmos, Lectures on Boolean algebras, Van Nostrand Mathematical Studies, No. 1, D. Van Nostrand Co., Inc., Princeton, N.J., 1963. MR 0167440
- [4] J. C. C. McKinsey and Alfred Tarski, On closed elements in closure algebras, Ann. of Math. (2) 47 (1946), 122–162. MR 15037, https://doi.org/10.2307/1969038
- [5] Iwao Nishimura, On formulas of one variable in intuitionistic propositional calculus, J. Symbolic Logic 25 (1960), 327–331 (1962). MR 142456, https://doi.org/10.2307/2963526
- [6] Helena Rasiowa and Roman Sikorski, The mathematics of metamathematics, Monografie Matematyczne, Tom 41, Państwowe Wydawnictwo Naukowe, Warsaw, 1963. MR 0163850
Retrieve articles in Transactions of the American Mathematical Society with MSC: 06.60
Retrieve articles in all journals with MSC: 06.60
Additional Information
DOI:
https://doi.org/10.1090/S0002-9947-1970-0256952-1
Article copyright:
© Copyright 1970
American Mathematical Society