Soyut mantık
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
- ^ a b Chang and Jerome Keisler Model Theory. s. 132. 11 Temmuz 2021 tarihinde kaynağından arşivlendi. Erişim tarihi: 11 Temmuz 2021.