Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 

 

On automorphisms of polyadic algebras


Author: Aubert Daigneault
Journal: Trans. Amer. Math. Soc. 112 (1964), 84-130
MSC: Primary 02.48; Secondary 06.00
MathSciNet review: 0162741
Full-text PDF Free Access

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [1] E. W. Beth, On Padoa’s method in the theory of definition, Nederl. Akad. Wetensch. Proc. Ser. A. 56 = Indagationes Math. 15 (1953), 330–339. MR 0058537
  • [2] Alonzo Church, Introduction to mathematical logic, Princeton Landmarks in Mathematics, Princeton University Press, Princeton, NJ, 1996. Reprint of the second (1956) edition; Princeton Paperbacks. MR 1435972
  • [3] William Craig, Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory, J. Symb. Logic 22 (1957), 269–285. MR 0104565
  • [4] A. Daigneault, Products of polyadic algebras and their representations, Doctoral dissertation, Princeton Univ., 1959.
  • [5] -, Extension of isomorphisms of polyadic algebras, Notices Amer. Math. Soc. 8 (1961), 609.
  • [6] -, Generalized ultrapowers, Notices Amer. Math. Soc. 8 (1961), 628.
  • [7] A. Daigneault and D. Monk, Representation theory for polyadic algebras, Fund. Math. 52 (1963), 151–176. MR 0151373
  • [8] T. Frayne, D. Scott and A. Tarski, Reduced products, Notices Amer. Math. Soc. 5 (1958), 673.
  • [9] T. Frayne, A. C. Morel, and D. S. Scott, Reduced direct products, Fund. Math. 51 (1962/1963), 195–228. MR 0142459
  • [10] Bernard A. Galler, Cylindric and polyadic algebras, Proc. Amer. Math. Soc. 8 (1957), 176–183. MR 0086031, 10.1090/S0002-9939-1957-0086031-7
  • [11] Paul R. Halmos, The basic concepts of algebraic logic, Amer. Math. Monthly 63 (1956), 363–387. MR 0086028
  • [12] Paul R. Halmos, Algebraic logic. I. Monadic Boolean algebras, Compositio Math. 12 (1956), 217–249. MR 0078304
  • [13] P. R. Halmos, Algebraic logic. II. Homogeneous locally finite polyadic Boolean algebras of infinite degree, Fund. Math. 43 (1956), 255–325. MR 0086029
  • [14] Paul R. Halmos, Algebraic logic. III. Predicates, terms, and operations in polyadic algebras, Trans. Amer. Math. Soc. 83 (1956), 430–470. MR 0086030, 10.1090/S0002-9947-1956-0086030-9
  • [15] Paul R. Halmos, Algebraic logic. IV. Equality in polyadic algebras, Trans. Amer. Math. Soc. 86 (1957), 1–27. MR 0090564, 10.1090/S0002-9947-1957-0090564-1
  • [16] -, Algebraic logic, Chelsea, New York, 1962.
  • [17] -, Polyadic algebras, Summaries of talks presented at the Summer Institute of Symbolic Logic, Ithaca, N.Y. 1957, pp. 252-256.
  • [18] -, Boolean algebras, Mimeographed, Chicago, Ill., 1959.
  • [19] L. Henkin, La structure algébrique des théories mathématiques, Gauthier-Villars, Paris; E. Nauwelaerts, Louvain, 1956 (French). MR 0080617
  • [20] Leon Henkin and Alfred Tarski, Cylindric algebras, Proc. Sympos. Pure Math., Vol. II, American Mathematical Society, Providence, R.I., 1961, pp. 83–113. MR 0124250
  • [21] Bjarni Jónsson, Universal relational systems, Math. Scand. 4 (1956), 193–208. MR 0096608
  • [22] B. Jónsson, Homogeneous universal relational systems, Math. Scand. 8 (1960), 137–142. MR 0125021
  • [23] H. J. Keisler, Limit reduced products, Notices Amer. Math. Soc. 6 (1959), 520.
  • [24] -, A mathematical characterization of elementary equivalence, Notices Amer. Math. Soc. 6 (1959), 520
  • [25] -, Isomorphism of ultraproducts, Notices Amer. Math. Soc. 7 (1960), 70-71.
  • [26] -, On the class of limit ultrapowers of a relational system, Notices Amer. Math. Soc. 7 (1960), 878.
  • [27] -, Cardinalities of ultrapowers and a theorem of Rabin, Notices Amer. Math. Soc. 7 (1960), 879.
  • [28] -, Isomorphism of ultraproducts. II, Notices Amer. Math. Soc. 8 (1961), 63-64.
  • [29] H. Jerome Keisler, Ultraproducts and elementary classes, Nederl. Akad. Wetensch. Proc. Ser. A 64 = Indag. Math. 23 (1961), 477–495. MR 0140396
  • [30] S. B. Kochen, An algebraic characterization of arithmetical equivalence, Notices Amer. Math. Soc. 6 (1959), 437.
  • [31] -, The isomorphism of ultrapowers of elementarily equivalent systems, Notices Amer. Math. Soc. 7 (1960), 971.
  • [32] Simon Kochen, Ultraproducts in the theory of models, Ann. of Math. (2) 74 (1961), 221–261. MR 0138548
  • [33] M. Krasner, Une généralisation de la notion de corps, J. Math. Pures Appl. (9) 17 (1938), 367-385.
  • [34] -, Généralisation abstraite de la théorie de Galois, Colloques internationaux du Centre National de la Recherche Scientifique no. 24, 1950, pp. 163-168.
  • [35] -, Les algèbres cylindriques, Bull. Soc. Math. France 86 (1959), 315-319.
  • [36] M. L'Abbé, Structures algébriques suggérées par la logique mathématique, Bull. Socs Math. France 86 (1959), 299-314.
  • [37] J. Łos, Quelques remarques, théorèmes et problèmes sur les classes définissable. d'algèbres, Mathematical interpretations of formal systems, pp. 98-113, North-Holland, Amsterdam, 1955.
  • [38] Abraham Robinson, A result on consistency and its application to the theory of definition, Nederl. Akad. Wetensch. Proc. Ser. A. 59 = Indag. Math. 18 (1956), 47–58. MR 0078307
  • [39] R. Sikorski, Products of abstract algebras, Fund. Math. 39 (1952), 211–228 (1953). MR 0053913
  • [40] Th. Skolem, Peano’s axioms and models of arithmetic, Mathematical interpretation of formal systems, North-Holland Publishing Co., Amsterdam, 1955, pp. 1–14. MR 0075150
  • [41] M. H. Stone, Some algebraic aspects of logic, Mimeographed, Univ. of Chicago, Chicago, Ill., 1956.
  • [42] Lars Svenonius, A theorem on permutations in models, Theoria (Lund) 25 (1959), 173–178. MR 0138540
  • [43] Alfred Tarski, Some notions and methods on the borderline of algebra and metamathematics, Proceedings of the International Congress of Mathematicians, Cambridge, Mass., 1950, vol. 1, Amer. Math. Soc., Providence, R. I., 1952, pp. 705–720. MR 0045068
  • [44] Alfred Tarski and Robert L. Vaught, Arithmetical extensions of relational systems, Compositio Math 13 (1958), 81–102. MR 0095121
  • [45] R. L. Vaught, Homogeneous universal models of complete theories, Notices Amer. Math. Soc. 5 (1958), 775.

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02.48, 06.00

Retrieve articles in all journals with MSC: 02.48, 06.00


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9947-1964-0162741-6
Article copyright: © Copyright 1964 American Mathematical Society