Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
408 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  | 408 kez görüntülendi
20,279 soru
21,810 cevap
73,492 yorum
2,475,438 kullanıcı