Interpreting set theory in the endomorphism semi-group of a free algebra or in a category

Saharon Shelah

Annales scientifiques de l'Université de Clermont. Mathématiques (1976)

  • Volume: 60, Issue: 13, page 1-29
  • ISSN: 0249-7042

How to cite

top

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 60.13 (1976): 1-29. <http://eudml.org/doc/80435>.

@article{Shelah1976,
author = {Shelah, Saharon},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
language = {eng},
number = {13},
pages = {1-29},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {Interpreting set theory in the endomorphism semi-group of a free algebra or in a category},
url = {http://eudml.org/doc/80435},
volume = {60},
year = {1976},
}

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
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 60
IS - 13
SP - 1
EP - 29
LA - eng
UR - http://eudml.org/doc/80435
ER -

References

top
  1. [E] J.L. Ershov, Undecidability of theories of symmetric and simple finite groups, Dokl. Akad. Nauk SSSR. N4, 158, 777-779. Zbl0199.03004MR172800
  2. [FV] Feferman and Vaught, The first order properties of algebraic systems, Fund. Math.47 (1959) 57-103. Zbl0088.24803MR108455
  3. [G] G. Galvin, Horn sentences, Annals of Math. Logic1 (1970) 389-422. Zbl0206.27801MR325382
  4. [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, Berlin65. Zbl0192.09702
  5. [MK] R. McKenzie, On elementary types of symmetric groups, Algebra Universalis1 (1971) N 1, 13-20. Zbl0232.20057MR286643
  6. [My] J. Mycielski, Problem 324, colloq. Math.8 (1961) 279. MR126119
  7. [ P] A.G. Pinus, Elementary definability of symmetric groups. Algebra Universalis. 3 (1973), 59-66. Zbl0272.02079MR337594
  8. [Ra]] M.O. Rabin, A simple method for undecidability proofs, Proc. of the1964 international Congress for Logic, ed. Bar-Hillel, North Holland1965, 58-68. Zbl0192.05502MR221924
  9. [Ru] M. Rubin, The automorphism group of homogeneous and saturated Boolean algebras, Algebra Universalis, submitted. Zbl0424.06012MR508669
  10. [S 1] S. Shelah, First-order theory of permutation groups, Israel J. of Math.14 (1973) 149-162. Zbl0284.20003MR416909
  11. [S 2 ] Errata to: first order theory of permutation groups, Israel J. of Math.15 (1973) 437-441. Zbl0285.20001MR416909
  12. [ S 3] — Various results in mathematical logic. Notices of A.M.S.21 (1974, Aug.) A.502. 
  13. [ 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. Zbl0222.02078MR290961
  14. [W] J.M. Weinstein, First order formulas preserved by direct product, Ph. D. thesis, Univ. of Wisconsin, Madison, Wisc.1965. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.