Geri Dön

On the representation problem of polyadic algebras and related structures

Polyadik Cebirlerin ve İlişkili Yapıların Temsil ProblemiÜzerine

  1. Tez No: 847171
  2. Yazar: MOHAMED KHALED MOHAMED ISMAIL KHALIFA
  3. Danışmanlar: PROF. TAREK SAYED AHMED
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2011
  8. Dil: İngilizce
  9. Üniversite: Caıro Unıversıty (جامعة القاهرة)
  10. Enstitü: Yurtdışı Enstitü
  11. Ana Bilim Dalı: Matematik Ana Bilim Dalı
  12. Bilim Dalı: Matematik Bilim Dalı
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

Bu tezde, sonlu boyutlu polyadik cebirler ve ilişkili yapıların temsil problemini silindirik cebirler ve diyagonal serbest cebirler ile birlikte işlemekteyiz. Temsilin farklı türleri üzerinde yoğunlaşacağız. Bir tanesi, keyfi konjonksiyonları (ve disjonksiyonları) koruyarak onları teorik kesişimler (ve birleşimler) kümesine taşıyan tam temsil kavramıdır. Temsilin diğer türleri dikkate alınan cebirlerin atom yapıları ile ilişkilidir. Bunlar güçlü bir şekilde temsil edilebilir atom yapıların ve zayıf bir şekilde temsil edilebilen atom yapıların sınıflarıdır. Geniş kapsamlı olarak Hirsch ve Hodkinson tarafından cebirsel mantık çerçevesinde sunulan ve tanıtılan graflar ve oyunlar kullanıyoruz.

Özet (Çeviri)

In this thesis, we study the representation problem for nite dimensional polyadic algebras and related structures, including cylindric algebras and diagonal free algebras. We will concentrate on several types of representations. One is the notion of complete represen tation, where a complete representation is one that preserves arbitrary meets (and joins) carrying them to set theoretic intersections (and unions). The other types of representations have to do with atom structures of alge- bras considered. These are the classes of strongly representable atom structures and weakly representable atom structures. We extensively use graphs and games as introduced in algebraic logic by Hirsch and Hodkinson.

Benzer Tezler

  1. Ovulasyon indüksiyonu tedavisinde folliküler gelişimin ultrasonografik takibi

    Başlık çevirisi yok

    MERİH BAYRAM

    Tıpta Uzmanlık

    Türkçe

    Türkçe

    1987

    Gazi Üniversitesi

    Kadın Hastalıkları ve Doğum Ana Bilim Dalı

    Yükleniyor...

  2. Çimentonun sertleşmesi üzerinde kimyasal komponentlerin etkisi

    Başlık çevirisi yok

    NACİYE TÜRKEL

    Yüksek Lisans

    Türkçe

    Türkçe

    1986

    Uludağ Üniversitesi

    Kimya Ana Bilim Dalı

    Yükleniyor...

  3. İzmir'de bazı yolların kapatılarak yaya bölgeleri oluşturma da kent peyzajını geliştirme açısından yeniden planlanması üzerinde araştırmalar

    Başlık çevirisi yok

    BAHAR TÜRKYILMAZ

    Yüksek Lisans

    Türkçe

    Türkçe

    1985

    Ege Üniversitesi

    Şehir ve Bölge Planlama Ana Bilim Dalı

    Yükleniyor...

  4. Atherosklerotik kalp hastalıklarında risk faktörleri

    Risk factors in the coronary artery disease

    MURAT SUHER

    Tıpta Uzmanlık

    Türkçe

    Türkçe

    1987

    Gazi Üniversitesi

    İç Hastalıkları Ana Bilim Dalı

    Yükleniyor...

  5. Diesel motorları yakıt püskürtme sistemlerinin dinamik simülasyonu

    Başlık çevirisi yok

    İRFAN KARAGÖZ

    Yüksek Lisans

    Türkçe

    Türkçe

    1986

    Uludağ Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    Yükleniyor...

  6. Posterior fossa tümörleri

    Başlık çevirisi yok

    SERHAT AYDINER

    Tıpta Uzmanlık

    Türkçe

    Türkçe

    1987

    Gazi Üniversitesi

    Nöroşirürji Ana Bilim Dalı

    Yükleniyor...