Tıkızlık ve Loewenheim-Skolem Teoremleri
Tıkızlık ve Loewenheim-Skolem teoremleri, birinci dereceden kuramların hangi yapıları tanımlayabileceğini belirleyen, birinci dereceden mantığın hem gücünü hem de doğal sınırlamalarını ortaya koyan iki temel sonuçtur.
Tanım
Tıkızlık teoremi, birinci dereceden cümlelerden oluşan bir kümenin, ancak ve ancak her sonlu alt kümesi tatmin edilebilir ise tatmin edilebilir olduğunu belirtmektedir; Loewenheim-Skolem teoremleri ise, sonsuz bir modele sahip herhangi bir birinci dereceden kuramın, dilinin kardinalitesinden en az o kadar olan her sonsuz kardinalitede modellere sahip olduğunu belirtmektedir.
Kapsam
Bu konu, tıkızlık teoremini ve bunun tamlık veya ultraürünler aracılığıyla kanıtını, modellerin kardinaliteleri üzerine aşağı ve yukarı Loewenheim-Skolem teoremlerini, aritmetik ve analizin standart olmayan modellerinin varlığı da dahil olmak üzere standart sonuçlarını ve Skolem paradoksunu kapsamaktadır.
Temel sorular
- Bir kuramın sonlu tatmin edilebilirliği neden bir modeli garanti eder?
- Bu teoremler aritmetik ve gerçel sayıların standart olmayan modellerini nasıl üretir?
- Neden hiçbir birinci dereceden kuram sonsuz bir yapıyı kardinaliteye kadar karakterize edemez?
- Skolem paradoksu nedir ve nasıl çözülür?
Temel kuramlar
- Tıkızlık teoremi
- Eğer bir cümle kümesinin her sonlu alt kümesinin bir modeli varsa, o zaman kümenin tamamının bir modeli vardır; bu, tamlıktan çıkar veya ultraürünlerle semantik olarak kanıtlanabilir.
- Aşağı Loewenheim-Skolem teoremi
- Her sonsuz yapı, dilinin kardinalitesinden en fazla o kadar olan bir temel alt yapıya sahiptir, bu nedenle sonsuz modellere sahip sayılabilir kuramlar sayılabilir modellere sahiptir.
- Yukarı Loewenheim-Skolem teoremi
- Her sonsuz model, her daha büyük kardinalitedeki modellere temel olarak genişletilebilir, bu nedenle birinci dereceden kuramlar sonsuz modellerinin boyutunu sabitleyemez.
Klinik önem
Bu teoremler model kuramının temel araçlarıdır: tıkızlık, sonuçları kanıtlayan veya aktaran standart olmayan modeller inşa etmek için kullanılmaktadır ve Loewenheim-Skolem teoremleri, doğal sayıların veya gerçel sayıların birinci dereceden aksiyomatizasyonlarının neden her zaman istenmeyen modelleri kabul ettiğini açıklayarak, mantıksal çerçevelerin seçimini şekillendirmektedir.
Tarihçe
Loewenheim, aşağı teoremin bir versiyonunu 1915'te kanıtlamış ve Skolem, 1920'ler boyunca bunu genelleştirmiş ve keskinleştirmiştir. Tıkızlık, Goedel tarafından tamlığın bir sonucu olarak elde edilmiş ve Maltsev tarafından sayılamaz dillere genişletilmiştir; Maltsev, cebirsel teoremleri türetmek için ilk kez bunu kullanarak uygulamalı model kuramına giden yolu açmıştır.
Öne çıkan isimler
- Leopold Loewenheim
- Thoralf Skolem
- Kurt Goedel
- Anatoly Maltsev
İlgili konular
Temel eserler
- changkeisler1990
- marker2002
- hodges1993
Sıkça sorulan sorular
- Aritmetiğin standart olmayan modeli nedir?
- Tıkızlık sayesinde, aritmetik aksiyomlarına her sayıdan daha büyük bir sabit eklenebilir; ortaya çıkan tutarlı kuram, standart doğal sayıların ötesinde sonsuz elemanlar içeren bir modele sahiptir. Bu tür modeller, standart modelle tamamen aynı birinci dereceden cümleleri tatmin eder.
- Skolem paradoksu nedir?
- Aşağı Loewenheim-Skolem teoremi, küme kuramının sayılabilir bir modelini verir, oysa bu kuram sayılamaz kümelerin varlığını kanıtlar. Çözüm, sayılamazlığın modele göreceli olmasıdır: modelin sayılamaz olarak gördüğü bir kümenin, model içinde doğal sayılarla birebir eşleşmesi yoktur, ancak dışarıdan bakıldığında böyle bir eşleşme mevcuttur.