Model theory of derivation spaces
Türev uzaylarının modeller kuramı
- Tez No: 269582
- Danışmanlar: DOÇ. DR. DAVİD PİERCE
- Tez Türü: Doktora
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2010
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Bölümü
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 40
Özet
Türev uzayları kavramı tanıtılmıştır. İki evrenli bir dil kullanılarak, bu yapıların birincimertebeden teorisi çalışılmıştır. Özel olarak, bu teorinin eşlenebilir olmadığıgösterilmiştir. Dile yüklem simgeleri eklenerek bir bağıntı tanımlanmış, ve karşılıkgelen teorinin eşlenebilir olduğu gösterilmiştir. Teorinin model eşinin tam ve kararsızbir teori olduğu ve niteleyicileri elemediği gösterilmiştir.
Özet (Çeviri)
In this thesis, the notion of the derivation spaces is introduced. In a suitable two sortedlanguage, 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 isexpanded by predicate symbols for a dependence relation. In this language it is shownthat the extension of the corresponding theory has a model companion. It is shownthat the model companion is a complete, unstable theory which does not eliminatequantifiers.
Benzer Tezler
- Hibrit yapılı sürekli robot tasarımı, adaptif kontrolü ve deneysel incelenmesi
Design, adaptive control and experimental investigation of a hybrid continuum robot
MERT CAN AKSOY
Yüksek Lisans
Türkçe
2020
Mekatronik MühendisliğiEge ÜniversitesiMekatronik Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ DİLŞAD ENGİN
- Elektrik makinaları kontrolünde bulanık mantığın uygulanması
Fuzzy logic applications in control of electrical machines
NESLİHAN KEPEZ
Yüksek Lisans
Türkçe
1995
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. M. EMİN TACER
- Trabzon kentsel dokusunda morfolojik analiz
Morphological analysis of the built environment in Trabzon
PELİN DURSUN
Doktora
Türkçe
2002
Mimarlıkİstanbul Teknik ÜniversitesiMimarlık Ana Bilim Dalı
PROF. DR. GÜLSÜN SAĞLAMER
- Geleneksel şehirsel mekanlar, değerlendirme ve korunmaları bağlamında sistematik yaklaşım -Gaziantep örneği
A systematic approach for the evaluation and conservation of traditional urban spaces -Gaziantep case
HÜSNÜ UĞUR
Doktora
Türkçe
2004
Şehircilik ve Bölge Planlamaİstanbul Teknik ÜniversitesiŞehir ve Bölge Planlama Ana Bilim Dalı
PROF. DR. CENGİZ GİRİTLİOĞLU
- Dualisation of supergravity theories
Süper kütle çekim kuramlarının ikilleştirilmesi
NEJAT TEVFİK YILMAZ
Doktora
İngilizce
2004
Fizik ve Fizik MühendisliğiOrta Doğu Teknik ÜniversitesiFizik Ana Bilim Dalı
YRD. DOÇ. DR. ÖZGÜR SARIOĞLU