Article contents
Model Theory of Epimorphisms
Published online by Cambridge University Press: 20 November 2018
Extract
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 .
- Type
- Research Article
- Information
- Copyright
- Copyright © Canadian Mathematical Society 1974
References
- 6
- Cited by