Sıfır keskin - Zero sharp

Matematiksel disiplininde küme teorisi, 0^# (sıfır keskin, Ayrıca 0#) doğru kümesidir formüller hakkında ayırt edilemez ve sırayla ayırt edilemeyenler Gödel inşa edilebilir evren. Genellikle tamsayıların bir alt kümesi olarak kodlanır (kullanılarak Gödel numaralandırma ) veya bir alt kümesi olarak kalıtsal olarak sonlu kümeler veya olarak gerçek Numara. Varlığı kanıtlanamaz ZFC standart biçimi aksiyomatik küme teorisi, ancak uygun bir büyük kardinal aksiyom. İlk olarak bir formül seti olarak tanıtıldı Gümüşler 1966 tezi, daha sonra Gümüş (1971) Σ ile gösterilen ve yeniden keşfedildiği yer Solovay (1967), s. 52), onu doğal sayıların bir alt kümesi olarak gören ve O gösterimini tanıtan^# (büyük O harfiyle; bu daha sonra '0' rakamına dönüştü).

Kabaca konuşursak, 0 ise^# sonra evren var V kümelerin sayısı evrenden çok daha büyük L varolmuyorsa, tüm kümelerin evrenine inşa edilebilir kümeler tarafından yakından yaklaşılır.

Tanım

Sıfır keskin, Gümüş tarafından tanımlandı ve Solovay aşağıdaki gibi. Ekstra sabit sembollerle küme teorisinin dilini düşünün c₁, c₂, ... her pozitif tam sayı için. Sonra 0^# kümesi olarak tanımlanır Gödel numaraları inşa edilebilir evren hakkında doğru cümlelerin c_ben sayılamayan kardinal olarak yorumlanır ℵ_ben. (Burada ℵ_ben anlamı ℵ_ben tüm evrende, inşa edilebilir evrende değil.)

Bu tanımla ilgili bir incelik var: Tarski'nin tanımlanamazlık teoremi genel olarak küme teorisinin bir formülünün doğruluğunu küme teorisi dilinde tanımlamak mümkün değildir. Silver ve Solovay bunu çözmek için uygun bir büyük kardinalin varlığını varsaydılar. Ramsey kardinal ve bu ekstra varsayımla, inşa edilebilir evren hakkındaki ifadelerin doğruluğunu tanımlamanın mümkün olduğunu gösterdi. Daha genel olarak, 0 tanımı^# bazıları için sayılamayan bir dizi ayırt edilemez olması koşuluyla çalışır. L_αve "0^# var "ifadesi bunu söylemenin kısa bir yolu olarak kullanılır.

0 tanımının birkaç küçük varyasyonu vardır.^#özelliklerinde önemli bir fark yaratmaz. Gödel numaralandırmasının birçok farklı seçeneği vardır ve 0^# bu seçime bağlıdır. Doğal sayıların bir alt kümesi olarak düşünülmek yerine, 0'ı kodlamak da mümkündür.^# bir dilin formüllerinin bir alt kümesi olarak veya kalıtsal olarak sonlu kümelerin bir alt kümesi olarak veya gerçek bir sayı olarak.

Varoluşu ima eden ifadeler

Bir Ramsey kardinalinin varlığı ile ilgili koşul, 0^# var zayıflatılabilir. Ω varlığı₁-Erdős kardinaller 0'ın varlığını ima eder^#. Bu, mümkün olan en iyi olmaya yakındır, çünkü 0'ın varlığı^# İnşa edilebilir evrende tüm sayılabilir α için bir α-Erdős kardinali olduğunu ima eder, bu nedenle bu tür kardinaller 0'ın varlığını kanıtlamak için kullanılamaz.^#.

Chang'ın varsayımı 0'ın varlığını ima eder^#.

Varoluşa eşdeğer ifadeler

Kunen gösterdi ki 0^# ancak ve ancak için önemsiz olmayan bir temel yerleştirme varsa Gödel inşa edilebilir evren L kendi içine.

Donald A. Martin ve Leo Harrington 0'ın varlığını göstermiştir^# belirliliğine eşdeğerdir lightface analitik oyunları. Aslında, evrensel bir ışık yüzlü analitik oyunun stratejisi aynıdır. Turing derecesi 0 olarak^#.

Buradan takip eder Jensen'in kaplama teoremi 0'ın varlığı^# eşdeğerdir ω_ω olmak düzenli kardinal inşa edilebilir evrende L.

Silver, inşa edilebilir evrende sayılamaz bir ayırt edilemezler kümesinin varlığının 0'ın varlığına eşdeğer olduğunu gösterdi.^#.

Varoluşun ve yokluğun sonuçları

Varlığı, her birinin sayılamaz kardinal küme teorik evrende V ayırt edilemez L ve hepsini tatmin eder büyük kardinal gerçekleşen aksiyomlar L (olmak gibi tamamen tarif edilemez ). 0'ın varlığını izler^# çelişiyor inşa edilebilirlik aksiyomu: V = L.

0 ise^# var, o zaman bu yapılandırılamaz bir örnektir Δ¹
₃ tamsayılar kümesi. Bu bir anlamda yapılandırılamayan bir küme için en basit olasılıktır, çünkü hepsi Σ¹
₂ ve Π¹
₂ tamsayı kümeleri oluşturulabilir.

Öte yandan, 0 ise^# mevcut değil, o zaman inşa edilebilir evren L çekirdek modeldir - yani, ele alınan evrenin büyük kardinal yapısına yaklaşan kanonik iç modeldir. Bu durumda, Jensen'in kapladığı lemma tutar:

Sayılamayan her set için x sıradanların arasında inşa edilebilir bir y öyle ki x ⊂ y ve y aynısına sahip kardinalite gibi x.

Bu derin sonucun sebebi Ronald Jensen. Kullanma zorlama bunu görmek kolaydır. x sayılamaz ise kaldırılamaz. Örneğin, düşünün Namba zorlama, koruyan ${ displaystyle omega _ {1}}$ ve çöker ${ displaystyle omega _ {2}}$ sırasına göre nihai olma ${ displaystyle omega}$. İzin Vermek ${ displaystyle G}$ fasulye ${ displaystyle omega}$-sıra eş final açık ${ displaystyle omega _ {2} ^ {L}}$ ve genel bitmiş L. Sonra set yok L nın-nin L-den daha küçük boyut ${ displaystyle omega _ {2} ^ {L}}$ (sayılamayan V, dan beri ${ displaystyle omega _ {1}}$ korunur) kapsayabilir ${ displaystyle G}$, dan beri ${ displaystyle omega _ {2}}$ bir düzenli kardinal.

Diğer kesici aletler

Eğer x herhangi bir set, o zaman x^# 0'a benzer şekilde tanımlanır^# dışında L [x] L yerine. göreli inşa edilebilirlik ile ilgili bölüme bakın. inşa edilebilir evren.

Ayrıca bakınız

• 0^†, 0'a benzer bir set^# inşa edilebilir evren, daha büyük bir iç model ile değiştirilir ölçülebilir kardinal.

Referanslar

• Drake, F.R (1974). Küme Teorisi: Büyük Kardinallere Giriş (Mantıkta Çalışmalar ve Matematiğin Temelleri; V.76). Elsevier Science Ltd. ISBN  0-444-10535-2.
• Harrington, Leo (1978), "Analitik belirlilik ve 0^#", Sembolik Mantık Dergisi, 43 (4): 685–693, doi:10.2307/2273508, ISSN  0022-4812, JSTOR  2273508, BAY  0518675
• Jech, Thomas (2003). Set Teorisi. Springer Monographs in Mathematics (Üçüncü Milenyum baskısı). Berlin, New York: Springer-Verlag. ISBN  978-3-540-44085-7. Zbl  1007.03002.
• Kanamori, Akihiro (2003). Yüksek Sonsuz: Başlangıcından Küme Teorisinde Büyük Kardinaller (2. baskı). Springer. ISBN  3-540-00384-3.
• Martin, Donald A. (1970), "Ölçülebilir kardinaller ve analitik oyunlar", Polska Akademia Nauk. Fundamenta Mathematicae, 66: 287–291, ISSN  0016-2736, BAY  0258637
• Silver, Jack H. (1971) [1966], "Model teorisinin küme teorisinde bazı uygulamaları", Saf ve Uygulamalı Mantığın Yıllıkları, 3 (1): 45–110, doi:10.1016/0003-4843(71)90010-6, ISSN  0168-0072, BAY  0409188
• Solovay, Robert M. (1967), "Yapılandırılamaz bir"¹
  ₃ tam sayı kümesi ", Amerikan Matematik Derneği İşlemleri, 127: 50–75, doi:10.2307/1994631, ISSN  0002-9947, JSTOR  1994631, BAY  0211873