Abstract
The subject of this paper is a topic in that branch of universal algebra called the theory of models. The main trait that distinguishes model theory from other approaches to algebra is the fact that in model theory the language in which theorems and definitions are to be coined is explicitly, indeed formally, specified. This gives, of course, a peculiar slant to the type of problems that are of immediate interest to model theorists. The generalities in which we are interested concern the exact extent of definability of mathematical notions and the characterizability of types of mathematical structures in various formal languages, the existence of structures with particular properties in formally characterizable classes of structures, formal descriptions of types of properties preserved under various mathematical constructions, and the like. In a nutshell, the difference between an algebraist and a model theorist is the following: To an algebraist two mathematical structures A, ℬ are “essentially the same” if they are isomorphic,
while to a model theorist they are essentially the same in case they are elementarily equivalent,
(if A and ℬ have the same first-order properties).
With partial support from NSF Grant GP 1612.
Received September 16, 1965.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Engeler, E.: Structures defined by mapping filters. (To appear.)
Frayne, T., A. C. Morel, and D. S. Scott: Reduced direct products. Fundamenta Mathematica 51, 195–228 (1962); 53, 117 (1963).
Robinson, A.: A result on consistency and its applications to the theory of definition. Nederl. Akad. Wetensch. Proc. Ser. A, 59, 47–58 (1956).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1966 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Engeler, E. (1966). Categories of Mapping Filters. In: Eilenberg, S., Harrison, D.K., MacLane, S., Röhrl, H. (eds) Proceedings of the Conference on Categorical Algebra. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-99902-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-99902-4_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-99904-8
Online ISBN: 978-3-642-99902-4
eBook Packages: Springer Book Archive