Model Theory of Epimorphisms
- 1 December 1974
- journal article
- Published by Canadian Mathematical Society in Canadian Mathematical Bulletin
- Vol. 17 (4) , 471-477
- https://doi.org/10.4153/cmb-1974-083-6
Abstract
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 .Keywords
This publication has 9 references indexed in Scilit:
- An Epi-Reflector for Universal TheoriesCanadian Mathematical Bulletin, 1973
- Injectivity in Equational Classes of AlgebrasCanadian Journal of Mathematics, 1972
- Injectivity in model theoryColloquium Mathematicum, 1972
- Monomorphisms, Epimorphisms, and Pull-BacksJournal of the Australian Mathematical Society, 1969
- Epimorphismen von kommutativen RingenCommentarii Mathematici Helvetici, 1968
- Some algebraic problems in the context of functorial semantics of algebraic theoriesPublished by Springer Nature ,1968
- Extension of uniformly continuous transformations and hyperconvex metric spacesPacific Journal of Mathematics, 1956
- Algebraically closed groupsProceedings of the American Mathematical Society, 1951
- The decision problem for some classes of sentences without quantifiersThe Journal of Symbolic Logic, 1943