Some topics in model theory
This thesis is concerned with various topics from first order model theory. In chapter 1, we prove that every consistent sentence from a language with no function symbols and two variables has a finite model. Results concerning the spectrum of such a sentence, as tjell as a decidability result are s...
| Main Author: | |
|---|---|
| Published: |
Royal Holloway, University of London
1974
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.466361 |