Presburger Aritmetiği ile Skolem Aritmetiği arasında izomorfizma var mıdır?

0 beğenilme 0 beğenilmeme
31 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?

27, Mayıs, 2015 Akademik Matematik kategorisinde harun kır (66 puan) tarafından  soruldu
...