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: Belirtilmemiş.
- 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ı: 112
Ö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
- Gayrimenkul yatırım ortaklıklarında piyasa değeri ve aktif karlılığı etkileyen finansal oranların panel veri analizi yöntemiyle belirlenmesi
Analysis of the financial ratios which effect market value and return of assets for real estate investment trusts with panel data analysis
EMRE ÇELİK
Yüksek Lisans
Türkçe
2020
Ekonometriİstanbul Teknik ÜniversitesiGayrimenkul Geliştirme Ana Bilim Dalı
DOÇ. DR. KEREM YAVUZ ARSLANLI
- Madeliene Vionnet tasarımları ışığında büyük beden giysi tasarım denemeleri
Big size clothing design trials in the light of Madeleine Vionnet designs
EMEL HAYALİ
Yüksek Lisans
Türkçe
2023
Giyim EndüstrisiAnkara Hacı Bayram Veli ÜniversitesiModa Tasarımı Ana Bilim Dalı
DR. ÖĞR. ÜYESİ HACI FATMA ŞENER
- A comparative study of deep learning techniques for time series forecasting in energy consumption prediction
Derin öğrenme teknikleri ile enerji tüketimini tahmin etmek için zaman serisi tahminine yönelik karşılaştırmalı bir çalışma
MUTAKABBIR AHMED TAYIB
Yüksek Lisans
İngilizce
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilişim Sistemleri Ana Bilim Dalı
PROF. DR. TUĞBA TAŞKAYA TEMİZEL
PROF. DR. CEYLAN TALU YOZGATGİL
- Tarım-gıda tedarik zincirinde izlenebilirlik ve gıda güvenliği için blok zinciri: Kiraz ürünü uygulaması
Blockchain applications for traceability and food safety in agri-food supply chain: Cherry product application
ŞEBNEM İNDAP
Doktora
Türkçe
2022
UlaşımMaltepe ÜniversitesiUluslararası Ticaret ve Lojistik Ana Bilim Dalı
PROF. DR. MEHMET TANYAŞ
- The Arab Spring and Turkish model
Arap Baharı ve Türk modeli
BARAN KUŞOĞLU
Yüksek Lisans
İngilizce
2014
Uluslararası İlişkilerOrta Doğu Teknik ÜniversitesiUluslararası İlişkiler Ana Bilim Dalı
PROF. DR. HÜSEYİN BAĞCI