Sonlu doğurulmuş serbest heyting cebirleri
Finitely generated free heyting algebras
- Tez No: 114080
- Danışmanlar: PROF. DR. MEHMET TERZİLER
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Kripke modelleri, Pseudo-Boole cebirleri, Heyting cebirleri, serbest doğurulmuş cebirler, Kripke models, Pseudo-Boolean algebras, Heyting algebras, freely generated algebras
- Yıl: 2001
- Dil: Türkçe
- Üniversite: Ege Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 48
Özet
ÖZET SONLU DOĞURULMUŞ SERBEST HEYTİNG CEBİRLERİ ÜZERİNE HAMAL, Ahmet Yüksek Lisans Tezi, Matematik Bölümü Tez Yöneticisi : Prof. Dr. Mehmet TERZİLER 24 Ocak 2001, 41 sayfa Giriş ve Ön Bilgiler bölümleri dışında bu tez esas olarak iki kısımdan oluşmaktadır. Tezde esas geçen sonuçların hemen hemen tümü (Bellissima, 1986) da bulunabilir, ancak bu teoremlerin çoğunun ispatları tarafımızdan yapılmış ve sonuçlar örneklerle zenginleştirilmiştir. 3. Kesimde; her bir a < co için bir 9?a Kripke modeli inşaa edilmiştir öyle ki her bir a-formülü \|/ verildiğinde IPC [¦ v|/ ancak ve ancak 9ta f= \|/ gerçeklensin. Daha sonra Aa = < Aa, a, v, ->, 0, 1 > cebirinin Fn(a) ya izomorf olduğu ispatlanmış ve F«(a) nın özel elemanları tanımlanarak a < co için Id( Fn(a+1) ) e Id( Fıı(a) ) sonucu gösterilmiştir. 4. Kesimde; serbest Heyting cebirleri arasında Fh(1) in özel bir yerinin olduğu a > 1 için Fn(a) nın Fh(1) tarafından sağlanan çoğu cebirsel özellikleri sağlamadığı görülmüştür.
Özet (Çeviri)
VII ABSTRACT FINITELY GENERATED FREE HEYTING ALGEBRAS HAMAL, Ahmet MSc in Mathematics Department Supervisor: Prof. Dr. Mehmet TERZİLER 24 January 2001, 41 pages In addition to Introduction and Preliminaries, the thesis consists essentially of two sections. Almost all results that occur in the thesis can be in (Bellissima, 1986), however the proofs of most theorems are given by ourselves and those results are illustrated by examples. In Section 3 a Kripke model Ma is constructed such that for a given a-formula \|/ and for each a < o, IPC |- vj/ (iff) 9?a |= \\i holds. Then it is proved that Aa = < A«, a, v, ->, 0, 1 > is isomorphic to Fn(a) and by definnig some special elements of FH(a), the inclusion Id( FH(a+l) ) £ Id( FH(a) ) is shown for each alwhile Fh(1) does is seen in detail.
Benzer Tezler
- Temperleme işlemi ile düz camlarda montaj delikleri civarında oluşan gerilme alanının fotoelastisite yöntemi ile analizi
The analysis of stress distribution due to the tempering process by the method of photoelasticity around the mounting holes in the flat glass
CUMA UMUR DUMAN
Yüksek Lisans
Türkçe
2019
Metalurji Mühendisliğiİstanbul Teknik ÜniversitesiMetalurji ve Malzeme Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ MEHMET ŞEREF SÖNMEZ
DR. ÖĞR. ÜYESİ OSMAN BULUT
- Farklı genişlikteki levhaların yapıştırma bağlantıları ile birleştirilmesinde mekanik özelliklerin belirlenmesi
Determination of mechanical properties of adhesively bonded joints by using different width plate
MUHAMMET ONUR DORU
Yüksek Lisans
Türkçe
2019
Makine MühendisliğiAtatürk ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
PROF. DR. ADNAN ÖZEL
- Farklı şekil ve konumlardaki perde tipi engellerin dikdörtgen bir tankta çalkantıya etkisinin sayısal olarak incelenmesi
Numerical investigation of the effect of baffle shape and location on sloshing in the rectangular tank
TOLGA BAYRAMOĞLU
Yüksek Lisans
Türkçe
2021
DenizcilikYıldız Teknik ÜniversitesiGemi İnşaatı ve Gemi Makineleri Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ FATİH CÜNEYD KORKMAZ
- Katlanmış plaklar için sonlu eleman formülasyonu
Finite element method formulation for folded plates
NİHAT ERATLI (UZCAN)