On the syntactic characterization of some model theoretic relations
In this thesis we consider binary relations over the class of L-structures, for some fixed language L. Such a binary relation R, induces a binary relation R* between the class of theories in L; in the following natural way. If T1 and T2 are theories in L then T1R*T2 if ∃A,B A T1 , Bf T2 an...
| Main Author: | |
|---|---|
| Published: |
Royal Holloway, University of London
1973
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.704248 |