Interpretable fields in ACF
Cebirsel kapalı cisimlerde yorumlanabilir cisimler
- Tez No: 495023
- Danışmanlar: YRD. DOÇ. DR. SERGE RANDRIAMBOLOLONA
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2017
- Dil: İngilizce
- Üniversite: Galatasaray Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 63
Özet
Bu tez cebirsel geometri ve model teorenin etkileşimlerini göz önüne alan bazı sonuçlara odaklanmıştır. Uğraşı, cebirsel kapalı cisimlerde tanımlanabilir cisimlerin Bruno Poizat tarafından verilen karakterizasyonudur. Bu çalışmada, modeller teorisinin temel kavramlarını güçlü teoremlerle birlikte sunarken Morley rankı sonlu gruplar ve doğrusal cebirsel gruplar hakkında gerekli altyapıyı vermekteyiz. Böyle bir sunum yalnızca bahsedilen karakterizasyonun (Poizat, 2001) anlaşılması için değil, aynı zamanda bahsi geçen etkileşimin de aydınlatılması için önemlidir. Ardından cebirsel kapalı bir F cisminde tanımlanabilir olan her sonsuz K cisminin F 'e tanımlabilir şekilde izomorfik olduğu sonucuna varmak için Poizat'ın F'in karakteristiğine bağlı olarak iki yöntem ortaya koyduğu fikrini tanıtacağız.
Özet (Çeviri)
This thesis focuses on some results regarding the interaction between algebraic geometry and model theory. It concerns the characterization of definable fields in an algebraically closed field which is provided by Bruno Poizat. In this work, we present the basic model theoretic notions with strong theorems, the background about groups of finite Morley rank and linear algebraic groups. Such a presentation is not only essential to understand this characterization (Poizat, 2001) but also enlightening to see the aforementioned interaction. Then to conclude that an infinite field K which is definable in an algebraically closed field F is definably isomorphic to F , we will introduce the Poizat's idea which provides two different methods depending on characteristic of F.
Benzer Tezler
- Integrating fuzzy logic into deep autoencoders for interpretability and clustering
Yorumlanabilirlik ve öbekleme için bulanık mantığın derin özkodlayıcılara entegre edilmesi
KUTAY BÖLAT
Yüksek Lisans
İngilizce
2021
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
DOÇ. DR. TUFAN KUMBASAR
- Çok amaçlı akıllı metasezgisel optimizasyon modeli ile nicel verilerde kural çıkarım temelli sınıflandırma modellerinin geliştirilmesi
Development of rule mining based classification models for quantitative data with many-objective intelligent metaheuristic optimization model
SUNA YILDIRIM
Doktora
Türkçe
2024
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolFırat ÜniversitesiYazılım Mühendisliği Ana Bilim Dalı
PROF. DR. BİLAL ALATAŞ
- Görüntü işleme teknikleri ve sezgisel yöntemler kullanılarak çekirdek görüntü segmentasyonu
Nuclei image segmentation using image processing techniques and heuristic methods
NUREDEEN A A MATOUG
Doktora
Türkçe
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKastamonu ÜniversitesiMalzeme Bilimi ve Mühendisliği Ana Bilim Dalı
DOÇ. DR. YASEMİN GÜLTEPE
- Emlak vergisi için CBS ve makine öğrenmesi teknikleri kullanılarak toplu taşınmaz değerleme modeli tasarımı
Designing a mass real estate valuation model using GIS and machine learning techniques for property taxation
HALUK GÜL
Yüksek Lisans
Türkçe
2023
Jeodezi ve Fotogrametriİstanbul Teknik ÜniversitesiGeomatik Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ MAHMUT OĞUZ SELBESOĞLU
- Model theory of fields and heights la théorie des modéles des corps et des hauteurs
Başlık çevirisi yok
HAYDAR GÖRAL
Doktora
İngilizce
2015
MatematikUniversité Claude Bernard (Lyon I)DR. AMADOR MARTIN-PIZARRO
DR. FRANK WAGNER