The question of model companionability: positive and negative answers
Model eşi bulma sorunu: pozitif ve negatif yanıtlar
- Tez No: 765286
- Danışmanlar: DOÇ. DR. ÖZLEM BEYARSLAN
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Diyagramlar, Kompaktlık, Model eşi, Model teorisi, Diagrams, Compactness, Model wife, Model theory
- Yıl: 2022
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bir evrensel T teorisinin model eşi, T'nin varlıksal kapalı modellerinin teorisinin aksiyomlarından oluşur. Bu tezde teorilerin model eşlenebilirliği kavramı incelenmiştir. Bazı iyi bilinen teorilerin model eşi örnekleri sunulup ardından model eşi olmayan teorilerden örnekler verilmiştir. Bu tezin ana odak noktası“Kompaktlık Argümanı”olarak adlandırdığımız bir tekniğin üzerinde durmaktır. Kompaktlık Argümanı, bir teorinin model eşi olmadığını kanıtlamak için kullanılır. Kompaktlık Argümanını kullanarak model eşi olmadığı kanıtladığımız teoriler şunlardır: gruplar teorisi, halkalar teorisi, çizge teorisinden iki örnek, iki değişmeli otomorfizmalı cisimler teorisi ve otomorfizmalı yoğun lineer sıralama teorisi. Kanıtların daha anlaşılır olmasını sağlamak için kanıtları destekleyen orjinal diyagramlar inşa edilmiştir.
Özet (Çeviri)
Model companion of a universal theory T is the axiomatization of the existentially closed models of T. This thesis studies the concept of model companionability of theories. We present examples of model companions of certain well known theories. We then give examples of theories without model companions. The main focus of this thesis is to elaborate a technique, which we call“the Compactness Argument”. Compactness Argument is used to prove that the model companion of a theory does not exist. We apply Compactness Argument to prove that the following theories do not have model companions: the theory of groups, the theory of rings, two examples of the theory of graphs, the theory of fields with two commuting automorphisms, and the theory of dense linear orders with an automorphism. Several proofs are illustrated by original diagrams to provide a better understanding to the reader.
Benzer Tezler
- Social behavior learning for an assistive companion robot
Yardımcı robotlar için sosyal davranış öğrenimi
PINAR ULUER
Doktora
İngilizce
2023
Mühendislik Bilimleriİstanbul Teknik ÜniversitesiMekatronik Mühendisliği Ana Bilim Dalı
PROF. DR. HATİCE KÖSE
- Fen bilimleri öğretmenlerinin üst düzey öğrenmeleri ölçen soru hazırlama becerilerinin geliştirilmesi: Bir model önerisi
Developing the question preparation skills of science teachers to measure high level: A model proposal
AHMET BOLAT
Doktora
Türkçe
2023
Eğitim ve ÖğretimAmasya ÜniversitesiMatematik ve Fen Bilimleri Eğitimi Ana Bilim Dalı
PROF. DR. SEVİLAY KARAMUSTAFAOĞLU
- İlköğretim 6.sınıf türkçe dersindeki yazılı sınav sorularının soru basamaklarına göre incelenmesi ve değerlendirilmesi(Kastamonu örneği)
Investigation and evaluation of the written exam questions of 6th grade primary school, Turkish lesson according to the question levels(Kastamonu model)
AHMET BEKAROĞLU
Yüksek Lisans
Türkçe
2007
Eğitim ve ÖğretimAbant İzzet Baysal ÜniversitesiTürkçe Eğitimi Ana Bilim Dalı
Y.DOÇ.DR. HİDAYET ÖZCAN
- Mimesis and sociality: A reading of the question of literature in Deleuze and Derrida
Mimesis ve toplumsallik: Deleuze ve Derrida'da edebiyat sorunsalinin bir okumasi
EMRE KOYUNCU
Yüksek Lisans
İngilizce
2008
Felsefeİhsan Doğramacı Bilkent Üniversitesiİletişim ve Tasarımı Ana Bilim Dalı
YRD. DOÇ. DR. MAHMUT MUTMAN
- Assessing the emergence of syntactic information in the sentence gestalt model during sentence comprehension
Başlık çevirisi yok
SERTUĞ GÜREL