Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Frequently Asked Questions
Frequently Asked Questions
Communities & Collections
Communities & Collections
Model theory of derivation spaces
Download
index.pdf
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