Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
335 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  | 335 kez görüntülendi
20,217 soru
21,750 cevap
73,348 yorum
1,976,158 kullanıcı