Soyut mantık
Vikipedi, özgür ansiklopedi
Soyut mantık, matematiksel mantıkta bir cümle sınıfından ve oluşum, genişleme, eşbiçimlilik, yeniden adlandırma ve niceleme ile ilgili belirli özelliklere sahip bir yeterlilik ilişkisinden oluşan bir sistemdir.[1]
Lindström'ün karakterizasyonuna dayanarak, birinci mertebeden mantık eşitlilik dışında tek kompakt sayılabilir soyut mantıktır ve Löwenheim sayısı ω'ye sahiptir.[1]
Kaynakça[değiştir | kaynağı değiştir]
- ^ a b Chang and Jerome Keisler Model Theory. s. 132. 11 Temmuz 2021 tarihinde kaynağından arşivlendi. Erişim tarihi: 11 Temmuz 2021.