On automorphisms of polyadic algebras
HTML articles powered by AMS MathViewer
- by Aubert Daigneault PDF
- Trans. Amer. Math. Soc. 112 (1964), 84-130 Request permission
References
- 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
- 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
- William Craig, Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory, J. Symbolic Logic 22 (1957), 269–285. MR 104565, DOI 10.2307/2963594 A. Daigneault, Products of polyadic algebras and their representations, Doctoral dissertation, Princeton Univ., 1959. —, Extension of isomorphisms of polyadic algebras, Notices Amer. Math. Soc. 8 (1961), 609. —, Generalized ultrapowers, Notices Amer. Math. Soc. 8 (1961), 628.
- A. Daigneault and D. Monk, Representation theory for polyadic algebras, Fund. Math. 52 (1963), 151–176. MR 151373, DOI 10.4064/fm-52-2-151-176 T. Frayne, D. Scott and A. Tarski, Reduced products, Notices Amer. Math. Soc. 5 (1958), 673.
- T. Frayne, A. C. Morel, and D. S. Scott, Reduced direct products, Fund. Math. 51 (1962/63), 195–228. MR 142459, DOI 10.4064/fm-51-3-195-228
- Bernard A. Galler, Cylindric and polyadic algebras, Proc. Amer. Math. Soc. 8 (1957), 176–183. MR 86031, DOI 10.1090/S0002-9939-1957-0086031-7
- Paul R. Halmos, The basic concepts of algebraic logic, Amer. Math. Monthly 63 (1956), 363–387. MR 86028, DOI 10.2307/2309396
- Paul R. Halmos, Algebraic logic. I. Monadic Boolean algebras, Compositio Math. 12 (1956), 217–249. MR 78304
- 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. —, Polyadic algebras, Summaries of talks presented at the Summer Institute of Symbolic Logic, Ithaca, N.Y. 1957, pp. 252-256. —, Boolean algebras, Mimeographed, Chicago, Ill., 1959.
- L. Henkin, La structure algébrique des théories mathématiques, Gauthier-Villars, Paris; E. Nauwelaerts, Louvain, 1956 (French). MR 0080617
- 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
- Bjarni Jónsson, Universal relational systems, Math. Scand. 4 (1956), 193–208. MR 96608, DOI 10.7146/math.scand.a-10468
- B. Jónsson, Homogeneous universal relational systems, Math. Scand. 8 (1960), 137–142. MR 125021, DOI 10.7146/math.scand.a-10601 H. J. Keisler, Limit reduced products, Notices Amer. Math. Soc. 6 (1959), 520. —, A mathematical characterization of elementary equivalence, Notices Amer. Math. Soc. 6 (1959), 520 —, Isomorphism of ultraproducts, Notices Amer. Math. Soc. 7 (1960), 70-71. —, On the class of limit ultrapowers of a relational system, Notices Amer. Math. Soc. 7 (1960), 878. —, Cardinalities of ultrapowers and a theorem of Rabin, Notices Amer. Math. Soc. 7 (1960), 879. —, Isomorphism of ultraproducts. II, Notices Amer. Math. Soc. 8 (1961), 63-64.
- H. Jerome Keisler, Ultraproducts and elementary classes, Nederl. Akad. Wetensch. Proc. Ser. A 64 = Indag. Math. 23 (1961), 477–495. MR 0140396 S. B. Kochen, An algebraic characterization of arithmetical equivalence, Notices Amer. Math. Soc. 6 (1959), 437. —, The isomorphism of ultrapowers of elementarily equivalent systems, Notices Amer. Math. Soc. 7 (1960), 971.
- Simon Kochen, Ultraproducts in the theory of models, Ann. of Math. (2) 74 (1961), 221–261. MR 138548, DOI 10.2307/1970235 M. Krasner, Une généralisation de la notion de corps, J. Math. Pures Appl. (9) 17 (1938), 367-385. —, 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. —, Les algèbres cylindriques, Bull. Soc. Math. France 86 (1959), 315-319. M. L’Abbé, Structures algébriques suggérées par la logique mathématique, Bull. Socs Math. France 86 (1959), 299-314. 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.
- 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
- R. Sikorski, Products of abstract algebras, Fund. Math. 39 (1952), 211–228 (1953). MR 53913, DOI 10.4064/fm-39-1-211-228
- 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 M. H. Stone, Some algebraic aspects of logic, Mimeographed, Univ. of Chicago, Chicago, Ill., 1956.
- Lars Svenonius, $\aleph _{0}$-categoricity in first-order predicate calculus, Theoria (Lund) 25 (1959), 82–94. MR 138539, DOI 10.1111/j.1755-2567.1959.tb00294.x
- 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
- Alfred Tarski and Robert L. Vaught, Arithmetical extensions of relational systems, Compositio Math. 13 (1958), 81–102. MR 95121 R. L. Vaught, Homogeneous universal models of complete theories, Notices Amer. Math. Soc. 5 (1958), 775.
Additional Information
- © Copyright 1964 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 112 (1964), 84-130
- MSC: Primary 02.48; Secondary 06.00
- DOI: https://doi.org/10.1090/S0002-9947-1964-0162741-6
- MathSciNet review: 0162741