Geodesic
Model Theory of Epimorphisms
Canadian mathematical bulletin, Tome 17 (1974) no. 4, pp. 471-477

Voir la notice de l'article provenant de la source Cambridge University Press

Given a first-order theory T, welet be the category of models of T and homomorphisms between them. We shall show that a morphism A→B of is an epimorphism if and only if every element of B is definable from elements of A in a certain precise manner (see Theorem 1), and from this derive the best possible Cowell- power Theorem for . 
Bacsich, Paul D. Model Theory of Epimorphisms. Canadian mathematical bulletin, Tome 17 (1974) no. 4, pp. 471-477. doi: 10.4153/CMB-1974-083-6
@article{10_4153_CMB_1974_083_6,
     author = {Bacsich, Paul D.},
     title = {Model {Theory} of {Epimorphisms}},
     journal = {Canadian mathematical bulletin},
     pages = {471--477},
     year = {1974},
     volume = {17},
     number = {4},
     doi = {10.4153/CMB-1974-083-6},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1974-083-6/}
}
TY  - JOUR
AU  - Bacsich, Paul D.
TI  - Model Theory of Epimorphisms
JO  - Canadian mathematical bulletin
PY  - 1974
SP  - 471
EP  - 477
VL  - 17
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1974-083-6/
DO  - 10.4153/CMB-1974-083-6
ID  - 10_4153_CMB_1974_083_6
ER  - 
%0 Journal Article
%A Bacsich, Paul D.
%T Model Theory of Epimorphisms
%J Canadian mathematical bulletin
%D 1974
%P 471-477
%V 17
%N 4
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1974-083-6/
%R 10.4153/CMB-1974-083-6
%F 10_4153_CMB_1974_083_6

[1] 1. Aronszajn, N. and Panitchpakdi, P., Extension of uniformly continuous functions and hyperconvex metric spaces, Pac. J. Math. 6 (1956), 405-439. Google Scholar

[2] 2. Bacsich, P., Injectivity in Model Theory, Colloq. Math. 25 (1972), 165-176. Google Scholar

[3] 3. Bacsich, P., An epi-reflector for universal theories, Canad. Math. Bull. 16(2) (1973), 167-171. Google Scholar

[4] 4. Bell, J. and Slomson, A., Models and ultraproducts, North-Holland, Amsterdam, 1969. Google Scholar

[5] 5. Day, A., Injectivity in equational classes of algebras, Canad. J. Math. 24 (1972), 209-220. Google Scholar

[6] 6. Freyd, P., Abelian categories, Harper & Row, New York, 1964. Google Scholar

[7] 7. Grätzer, G., Universal Algebra, Van Nostrand, Princeton, 1968. Google Scholar

[8] 8. Isbell, J., Epimorphisms and dominions, in: Proceedings of the Conference on Categorical Algebra, La Jolla 1965, Springer-Verlag, Berlin, 1967. Google Scholar

[9] 9. Kelly, G., Monomorphisms, epimorphisms, and pull-backs, J. Austral. Math. Soc. 9 (1969), 124-142. Google Scholar

[10] 10. Kreisel, G., Model-theoretic invariants: applications to recursive and hyper arithmetic operations, in: The Theory of Models, North-Holland, Amsterdam, 1965. Google Scholar

[11] 11. Lawvere, W., Some algebraic problems in the context of functorial semantics of algebraic theories, in: Lecture Notes in Mathematics 61, Springer-Verlag, Berlin, 1968. Google Scholar

[12] 12. McKinsey, J., The decision problem for some classes of sentences without quantifiers, J. Symb. Logic 8 (1943), 61-76. Google Scholar

[13] 13. Scott, W., Algebraically closed groups, Proc. Amer. Math. Soc. 2 (1951), 118-121. Google Scholar

[14] 14. Storrer, H., Epimorphismen Von Kommutativen Ringen, Comment. Math. Helv. 43 (1968), 378-401. Google Scholar

[15] 15. Taylor, W., Residually small varieties, Algebra Universalis 2 (1972), 33-53. Google Scholar

[16] 16. Tarski, A., Mostowski, A., Robinson, A., Undecidable theories, North-Holland, Amsterdam, 1953. Google Scholar

Cité par Sources :