Kripke-Platek küme teorisi - Kripke–Platek set theory

Kripke-Platek küme teorisi (KP), telaffuz edildi /ˈkrɪpkbenˈplɑːtɛk/, bir aksiyomatik küme teorisi tarafından geliştirilmiş Saul Kripke ve Richard Platek.

KP, şundan çok daha zayıftır: Zermelo – Fraenkel küme teorisi (ZFC) ve kabaca şu şekilde düşünülebilir: öngörücü ZFC'nin bir parçası. tutarlılık gücü ile KP sonsuzluk aksiyomu tarafından verilir Bachmann-Howard sıralı. ZFC'den farklı olarak KP, güç seti aksiyomu ve KP yalnızca sınırlı biçimlerini içerir ayrılık aksiyomu ve değiştirme aksiyomu ZFC'den. KP aksiyomlarındaki bu kısıtlamalar, KP arasında yakın bağlantılara yol açar, genelleştirilmiş özyineleme teorisi ve teorisi kabul edilebilir kurallar.

KP'nin aksiyomları

  • Genişlemenin aksiyomu: İki küme, ancak ve ancak aynı öğelere sahiplerse aynıdır.
  • İndüksiyon aksiyomu: φ (a) olmak formül eğer tüm setler için x varsayımı φ (y) tüm öğeler için tutar y nın-nin x φ (x) tutar, ardından φ (x) tüm setler için geçerlidir x.
  • Boş küme aksiyomu: Üye olmayan bir küme var boş küme ve {} ile gösterilir. (Not: Söylem evreninde bir üyenin varlığı, yani ∃x (x = x), belirli formülasyonlarda ima edilir[1] nın-nin birinci dereceden mantık, bu durumda boş küme aksiyomu, Σ aksiyomundan gelir.0-ayırma ve dolayısıyla gereksizdir.)
  • Eşleştirme aksiyomu: Eğer x, y setlerdir, öyleyse {x, y}, içeren bir set x ve y tek unsuru olarak.
  • Birliğin aksiyomu: Herhangi bir set için xbir set var y öyle ki unsurları y tam olarak şu unsurların unsurlarıdır: x.
  • Aksiyom om0ayırma: Herhangi bir set ve herhangi bir Σ0-formül φ (x), var alt küme tam olarak bu unsurları içeren orijinal setin x bunun için φ (x) tutar. (Bu bir aksiyom şeması.)
  • Aksiyom om0-Toplamak: Herhangi bir Σ verildiğinde0-formül φ (x, y), eğer her set için x benzersiz bir set var y öyle ki φ (x, y) tutar, sonra tüm setler için sen bir set var v öyle ki her biri için x içinde sen var y içinde v öyle ki φ (x, y) tutar.

Burada, bir Σ0veya Π0veya Δ0 formül, tüm nicelik belirteçleri olan bir sınırlı. Bu, herhangi bir miktarın form olduğu anlamına gelir veya (Daha genel olarak, formülün Σ olduğunu söyleyebiliriz.n+1 varoluşsal niceleyiciler eklenerek elde edildiğinden formül ve bu Πn+1 a'nın önüne evrensel niceleyiciler eklenerek elde edildiğinden formül: bu, aritmetik hiyerarşi ancak küme teorisi bağlamında.)

  • Yazarların tümü olmasa da bazıları bir sonsuzluk aksiyomu (Bu durumda, Boş küme aksiyomu, Ayırma kullanılarak var olduğu kanıtlanabileceği için gereksizdir).

Bu aksiyomlar, güç kümesi, seçim ve bazen sonsuzluk aksiyomlarını dışladıkları için ZFC'den daha zayıftır. Ayrıca buradaki ayırma ve toplama aksiyomları, ZFC'deki karşılık gelen aksiyomlardan daha zayıftır çünkü bunlarda kullanılan formüller φ yalnızca sınırlı nicelik belirteçleriyle sınırlıdır.

KP bağlamında tümevarımın aksiyomu normalden daha güçlüdür düzenlilik aksiyomu, bu, bir kümenin tümleyicisine tümevarım uygulamak anlamına gelir (verilen kümede olmayan tüm kümelerin sınıfı). Düzenlilik veya Seçim Aksiyomu KP, bir yapıcı küme teorisi düşürerek dışlanmış orta kanunu, herhangi bir aksiyomu değiştirmeden.

Kartezyen ürünlerin var olduğunun kanıtı

Teorem:

Eğer Bir ve B setler, sonra bir set var Bir×B hepsinden oluşan sıralı çiftler (a, b) öğelerin a nın-nin Bir ve b nın-nin B.

Kanıt:

Set {a} ({ile aynıdır)a, a} genişleme aksiyomuna göre) ve küme {a, b} her ikisi de eşleştirme aksiyomuna göre mevcuttur. Böylece

eşleştirme aksiyomu tarafından da mevcuttur.

Olası bir Δ0 bunu ifade eden formül p kısaltması (a, b) dır-dir:

Böylece bir üst kümesi Bir×{b} = {(a, b) | a içinde Bir} toplama aksiyomu tarafından mevcuttur.

Formülünü belirtin p yukarıda . O zaman aşağıdaki formül de Δ0

Böylece Bir×{b} kendisi ayrılık aksiyomu tarafından var olur.

Eğer v durması amaçlanmıştır Bir×{b}, sonra a Δ0 ifade eden formül:

Böylece bir üst kümesi {Bir×{b} | b içinde B} toplama aksiyomu tarafından mevcuttur.

Putting bu son formülün önünde ve ayırma aksiyomundan, kümenin {Bir×{b} | b içinde B} kendisi mevcuttur.

En sonunda, Bir×B = {Bir×{b} | b içinde B} birleşme aksiyomunda mevcuttur.

QED

Kabul edilebilir setler

Bir set denir kabul edilebilir Öyleyse geçişli ve bir model Kripke – Platek küme teorisi.

Bir sıra numarası α denir kabul edilebilir sıra Eğer Lα kabul edilebilir bir settir.

Sıra α kabul edilebilir bir ordinaldir ancak ve ancak α bir sıra sınırı ve yok bir γ < α bunun için bir Σ1(Lα) haritalama γ üstüne α. Eğer M standart bir KP modelidir, daha sonra sıra sıra sayıları M kabul edilebilir bir sıra numarasıdır.

Eğer Lα Σ aksiyomu olmadan standart bir KP küme teorisi modelidir0-toplama, sonra bir "uygun küme".

Ayrıca bakınız

Referanslar

  1. ^ Poizat, Bruno (2000). Model teorisinde bir ders: çağdaş matematiksel mantığa giriş. Springer. ISBN  0-387-98655-3., 27. sayfadaki §2.3'ün sonundaki not: “Boş bir evrende ilişkilere izin vermeyenler (∃x) x = x ve sonuçlarını tez olarak kabul eder; ancak biz, bu iğrençliği çok az mantıksal bir boşlukla paylaşmıyoruz. "

Kaynakça