- 191 Downloads
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  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  will be sufficient background.
Unable to display preview. Download preview PDF.