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, Cebir, Heyting cebiri, Kripke modeli, Kripke models, Pseudo-Boolean algebras, Heyting algebras, freely generated algebras, Algebra, Heyting algebra, Kripke model
- 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ı: Belirtilmemiş.
Ö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 a<co. Section 4 describes the important role of Fh(1) among free Heyting algebras and the fact that FH(a) does not satisfy many well-known algebraic properties for a>lwhile Fh(1) does is seen in detail.
Benzer Tezler
- Katlanmış plaklar için sonlu eleman formülasyonu
Finite element method formulation for folded plates
NİHAT ERATLI (UZCAN)
- Elastik kirişlerde özdeğer problemleri için yeni bir fonksiyonel ve sonlu eleman formülasyonu
A new functional for eigenvalue analysis of timoshenko beams and finite element formulation
ÇAĞRI MOLLAMAHMUTOĞLU
Yüksek Lisans
Türkçe
2005
İnşaat Mühendisliğiİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
PROF.DR. ERTAÇ ERGÜVEN
- Winkler zeminine oturan viskoelastik Timoshenko kirişlerinin karışık sonlu elemanlar yöntemi ile kuazi-statik analizi
The quasi-static analysis of viscoelastic Timoshenko beams resting on Winkler foundation via mixed finite element method
EFGAN CEBECİGİL
Yüksek Lisans
Türkçe
2005
İnşaat Mühendisliğiİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
PROF.DR. ERTAÇ ERGÜVEN
- Şişen killerle inşa edilen dolgu davranışının numerik analizi
Numerical analysis of behaviour of embankments constructed with swelling clays
AHMET ŞAHİN
Doktora
Türkçe
1999
İnşaat MühendisliğiYıldız Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
PROF. DR. SÖNMEZ YILDIRIM