Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
Annales scientifiques de l'Université de Clermont. Mathématiques, Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975), Tome 60 (1976) no. 13, pp. 1-29. 
@article{ASCFM_1976__60_13_1_0,
     author = {Shelah, Saharon},
     title = {Interpreting set theory in the endomorphism semi-group of a free algebra or in a category},
     journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
     pages = {1--29},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {60},
     number = {13},
     year = {1976},
     mrnumber = {505511},
     zbl = {0372.02026},
     language = {en},
     url = {http://www.numdam.org/item/ASCFM_1976__60_13_1_0/}
}
TY  - JOUR
AU  - Shelah, Saharon
TI  - Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
JO  - Annales scientifiques de l'Université de Clermont. Mathématiques
PY  - 1976
SP  - 1
EP  - 29
VL  - 60
IS  - 13
PB  - UER de Sciences exactes et naturelles de l'Université de Clermont
UR  - http://www.numdam.org/item/ASCFM_1976__60_13_1_0/
LA  - en
ID  - ASCFM_1976__60_13_1_0
ER  - 
%0 Journal Article
%A Shelah, Saharon
%T Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
%J Annales scientifiques de l'Université de Clermont. Mathématiques
%D 1976
%P 1-29
%V 60
%N 13
%I UER de Sciences exactes et naturelles de l'Université de Clermont
%U http://www.numdam.org/item/ASCFM_1976__60_13_1_0/
%G en
%F ASCFM_1976__60_13_1_0
Shelah, Saharon. Interpreting set theory in the endomorphism semi-group of a free algebra or in a category. Annales scientifiques de l'Université de Clermont. Mathématiques, Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975), Tome 60 (1976) no. 13, pp. 1-29. http://www.numdam.org/item/ASCFM_1976__60_13_1_0/

[E] J.L. Ershov, Undecidability of theories of symmetric and simple finite groups, Dokl. Akad. Nauk SSSR. N 4, 158, 777-779. | MR | Zbl

[FV] Feferman and Vaught, The first order properties of algebraic systems, Fund. Math. 47 (1959) 57-103. | MR | Zbl

[G] G. Galvin, Horn sentences, Annals of Math. Logic 1 (1970) 389-422. | MR | Zbl

[L]] Lawvere F.W., The category of categories as a foundation of math., conference on categorical algebra, La-Jolla 65, ed. Eilenberg, Harrison, Maclane, Rohre, Springer-Verlag, Berlin 65. | Zbl

[MK] R. Mckenzie, On elementary types of symmetric groups, Algebra Universalis 1 (1971) N 1, 13-20. | MR | Zbl

[My] J. Mycielski, Problem 324, colloq. Math. 8 (1961) 279. | MR

[ P] A.G. Pinus, Elementary definability of symmetric groups. Algebra Universalis. 3 (1973), 59-66. | MR | Zbl

[Ra]] M.O. Rabin, A simple method for undecidability proofs, Proc. of the 1964 international Congress for Logic, ed. Bar-Hillel, North Holland 1965, 58-68. | MR | Zbl

[Ru] M. Rubin, The automorphism group of homogeneous and saturated Boolean algebras, Algebra Universalis, submitted. | MR | Zbl

[S 1] S. Shelah, First-order theory of permutation groups, Israel J. of Math. 14 (1973) 149-162. | MR | Zbl

[S 2 ] Errata to: first order theory of permutation groups, Israel J. of Math. 15 (1973) 437-441. | MR | Zbl

[ S 3] - Various results in mathematical logic. Notices of A.M.S. 21 (1974, Aug.) A.502.

[ So] R.M. Solovay, Real-valued mesurable cardinals, Proceedings of Symposia in Pure Math. XIII part I, ed. D. Scott, A.M.S. Providence R.I. 1971. | MR | Zbl

[W] J.M. Weinstein, First order formulas preserved by direct product, Ph. D. thesis, Univ. of Wisconsin, Madison, Wisc. 1965.