Operations in polyadic algebras
HTML articles powered by AMS MathViewer
- by Aubert Daigneault PDF
- Trans. Amer. Math. Soc. 158 (1971), 219-229 Request permission
Abstract:
A new treatment of P. R. Halmos’ theory of terms and operations in (locally finite) polyadic algebras (of infinite degree) is given that is considerably simpler than the original one.References
- Aubert Daigneault, On automorphisms of polyadic algebras, Trans. Amer. Math. Soc. 112 (1964), 84–130. MR 162741, DOI 10.1090/S0002-9947-1964-0162741-6 —, Théorie des modèles en logique mathématique, 2ième éd., Presses Univ. Montréal, Montréal, 1967. MR 40 #31.
- P. R. Halmos, Algebraic logic. II. Homogeneous locally finite polyadic Boolean algebras of infinite degree, Fund. Math. 43 (1956), 255–325. MR 86029
- Paul R. Halmos, Algebraic logic. III. Predicates, terms, and operations in polyadic algebras, Trans. Amer. Math. Soc. 83 (1956), 430–470. MR 86030, DOI 10.1090/S0002-9947-1956-0086030-9
- Paul R. Halmos, Algebraic logic. IV. Equality in polyadic algebras, Trans. Amer. Math. Soc. 86 (1957), 1–27. MR 90564, DOI 10.1090/S0002-9947-1957-0090564-1 —, Algebraic logic, Chelsea, New York, 1962. MR 24 #A1808. (This contains [3], [4] and [5].)
- Léon LeBlanc, Représentabilité et définissabilité dans les algèbres transformationnelles et dans les algèbres polyadiques, Séminaire de Mathématiques Supérieures, No. 24 (Été, vol. 1966, Les Presses de l’Université de Montréal, Montreal, Que., 1966 (French). MR 0250858
Additional Information
- © Copyright 1971 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 158 (1971), 219-229
- MSC: Primary 02.48
- DOI: https://doi.org/10.1090/S0002-9947-1971-0285368-8
- MathSciNet review: 0285368