Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Açık Bilim Politikası
Açık Bilim Politikası
Frequently Asked Questions
Frequently Asked Questions
Browse
Browse
Communities & Collections
Communities & Collections
By Issue Date
By Issue Date
Authors
Authors
Titles
Titles
Subjects
Subjects
Model theory of derivation spaces
Download
index.pdf
Date
2010
Author
Kasal, Özcan
Metadata
Show full item record
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, Theses
