Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
305 kez görüntülendi

Presburger aritmetiğinin eksiksiz (negation-complete) olduğunu biliyoruz. Aynı şekilde Skolem aritmetiğinin de. İlk bahsi geçen aritmetik bildiğimiz Peano aksiyomlarından ve doğal sayılardan oluşan yapıdan çarpma işlemini çıkartarak ( ve bununla ilgili aksiyomları ) oluşturulmuş aritmetik. Diğeri ise aynı şekilde toplama işlemini çıkartarak oluşturulmuş.


Şimdi sorum şu bu iki yapı arasında bir izomorfizma var mıdır?

Akademik Matematik kategorisinde (66 puan) tarafından  | 305 kez görüntülendi
20,199 soru
21,725 cevap
73,270 yorum
1,885,708 kullanıcı