Gaifman operations, minimal models and the number of countable models
We deal with questions and problems in first order countable model theory. Chapter 1 examines countable first order Gaifman operations, which are theories whose models are determined, up to isomorphism, by their relativised reducta. We first prove some reduction and preservation results. Then we pro...
| Main Author: | |
|---|---|
| Published: |
Royal Holloway, University of London
1977
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.469006 |