Model theory of derivation spaces

Date

2010

Author

Kasal, Özcan

Metadata

Show full item record

Item Usage Stats

2
views

0
downloads

In this thesis, the notion of the derivation spaces is introduced. In a suitable two-sorted language, the first order theory of these structures is studied. In particular, it is shown that the theory is not companionable. In the last section, the language is expanded by predicate symbols for a dependence relation. In this language it is shown that the extension of the corresponding theory has a model companion. It is shown that the model companion is a complete, unstable theory which does not eliminate quantifiers.

Subject Keywords

Mathematics.

URI

http://etd.lib.metu.edu.tr/upload/2/12611715/index.pdf
https://hdl.handle.net/11511/19437

Collections

Graduate School of Natural and Applied Sciences, Thesis