আমি এলআইএসপি- তে একটি বই অনুবাদ করছি এবং স্বাভাবিকভাবেই এটি -ক্যালকুলাসের কিছু উপাদানকে স্পর্শ করে । সুতরাং, extensionality একটি ধারণা কিছু মডেলের পাশাপাশি সেখানে উল্লেখ করা হয় λ -calculus, যথা: পি ω এবং ডি ∞ (হ্যাঁ, উপরের অনন্ত সহ)। এবং এটা বলা হয় যে পি ω এক্সটেনশনাল থাকাকালীন ডি ∞ নয়।
কিন্তু ... আমি Barendregt এর মাধ্যমে খুঁজছেন ছিল ল্যামডা ক্যালকুলাস, এটা বাক্য গঠন এবং শব্দার্থবিদ্যা , এবং (আশা করছি, সঠিকভাবে) সেখানে পড়া ঠিক বিপরীত: এক্সটেনশনাল নয়, ডি ∞ হয়।
সেই অদ্ভুত মডেল কেহ কি জানে ? এটি কি ডি ∞ এর মতো একই মডেল হতে পারে তবে ভুলভাবে লেখা হয়েছে? আমি কি মডেলগুলির এক্সটেনশনেটি সম্পর্কে সঠিক?
ধন্যবাদ।