প্রশ্ন ট্যাগ «model-theory»

যথাযথ স্যানিটাইজেশন সহ এমন কোন সাধারণ উপপাদ্য রয়েছে যে, কেবলমাত্র গণনীয় বাস্তবের কথা বিবেচনা করার সময় প্রকৃত সংখ্যা ব্যবহারের বিষয়ে সর্বাধিক পরিচিত ফলাফলগুলি ব্যবহার করা যেতে পারে? বা ফলাফলগুলির যথাযথ বৈশিষ্ট্য আছে যা কেবলমাত্র গণনামূলক বাস্তবের কথা বিবেচনা করে বৈধ থাকে? একটি পার্শ্ব প্রশ্নটি হল যে সমস্ত বাস্তব বা গণনযোগ্য …

16 computability  computing-over-reals  topology  model-theory 

নির্ভরশীল প্রকারবিহীন সিস্টেমে যেমন হিন্ডলি-মিলনার টাইপ সিস্টেমের জন্য, প্রকারগুলি স্বজ্ঞাত যুক্তির সূত্রের সাথে মিলে যায়। আমরা সেখানে বুঝবে য়ে তার মডেল Heyting algebras হয়, এবং বিশেষ করে, একটি সূত্র খণ্ডন করতে, আমরা এক Heyting বীজগণিত যেখানে প্রতিটি সূত্রের একটি খোলা উপসেট দ্বারা প্রতিনিধিত্ব করা হয় সীমিত করতে পারে ।আরআর\mathbb{R} উদাহরণস্বরূপ, …

15 lo.logic  dependent-type  model-theory  calculus-of-constructions