Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
403 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  | 403 kez görüntülendi
20,274 soru
21,803 cevap
73,476 yorum
2,428,155 kullanıcı