Abstract
In the sequel we shall be concerned with categories which arise from countable models of certain first order theories. These include sets, linear orderings, vector spaces over a finite field and some other familiar algebraic structures but we are able to treat these all uniformly. The model theory we present here will be transparent to those familiar for example with Sacks’ delightful book [1972] and such readers should read only the theorems and not the proofs in this and the following section. Otherwise the first few chapters of Bell and Slomson [1969] will be sufficient background.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Crossley, J.N., Nerode, A. (1974). Model Theory. In: Combinatorial Functors. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol 81. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-85933-5_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-85933-5_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-85935-9
Online ISBN: 978-3-642-85933-5
eBook Packages: Springer Book Archive