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

DOI

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

Cité par Sources :