মডেল থিওরিকে প্রায়শই সংজ্ঞায়িত করা হয় বীজগণিত + যুক্তি হিসেবে। প্রুফ থিওরি যেখানে বাক্যতাত্ত্বিক প্রমাণের নিয়মকানুন বিশ্লেষণ করে, মডেল থিওরি সেখানে আনুষ্ঠানিক ভাষার দূরবীন দিয়ে সরাসরি গাণিতিক কাঠামোর—যেমন রিং, ফিল্ড, গ্রাফ ও গ্রুপ—শারীরবৃত্তীয় রূপ নিরীক্ষণ করে। এর কেন্দ্রবিন্দুতে রয়েছে দুটি গভীর ধারণার ব্যবধান: আইসোমরফিজম (বীজগাণিতিক অভিন্নতা) এবং এলিমেন্টারি ইকুইভ্যালেন্স (যৌক্তিক অভিন্নতা)। আর কোয়ান্টিফায়ার বর্জন (Quantifier Elimination) পদ্ধতির মাধ্যমে মডেল থিওরি জটিল জ্যামিতিক মহাবিশ্বের সিদ্ধান্তযোগ্যতা ও অভ্যন্তরীণ শৃঙ্খলা উন্মোচন করে।
১. আইসোমরফিজম বনাম এলিমেন্টারি তুল্যতা (Elementary Equivalence)
ধরা যাক $mathcal{M}$ এবং $mathcal{N}$ একই ভাষার দুটি কাঠামো:
- আইসোমরফিজম ($mathcal{M} cong mathcal{N}$): এদের মধ্যে একটি দ্বিমুখী বাইজেকশন রয়েছে যা সমস্ত সম্পর্ক ও ফাংশনকে হুবহু সংরক্ষণ করে। এটি পরম বীজগাণিতিক অভিন্নতা।
- এলিমেন্টারি তুল্যতা ($mathcal{M} equiv mathcal{N}$): কাঠামোদুটি প্রথম-স্তরের ভাষার সমস্ত বাক্যে হুবহু একই সত্য-মিথ্যার মান দেয়:
[
forall sigma: quad mathcal{M} vDash sigma iff mathcal{N} vDash sigma
]
আইসোমরফিক কাঠামো সর্বদা এলিমেন্টারিলি সমতুল্য। কিন্তু এর বিপরীত সত্য নয়! লোয়েনহাইম-স্কোলেম উপপাদ্য অনুসারে যেকোনো অসীম কাঠামোর এমন কিছু সমতুল্য মডেল থাকে যাদের আকার সম্পূর্ণ আলাদা। যেমন মূলদ সংখ্যা $(mathbb{Q}, <)$ এবং বাস্তব সংখ্যা $(mathbb{R}, <)$ প্রথম-স্তরের লিনিয়ার অর্ডারের দৃষ্টিতে সম্পূর্ণ অভিন্ন ও সমতুল্য, অথচ বীজগণিতের দৃষ্টিতে মূলদ সংখ্যা গণনাযোগ্য ($aleph_0$) আর বাস্তব সংখ্যা অগণনাযোগ্য ($2^{aleph_0}$)!
২. এরেনফয়খট-ফ্রেইসে খেলা (Ehrenfeucht-Fraïssé Games)
অসীম সংখ্যক বাক্য পরীক্ষা না করে কীভাবে প্রমাণ করা যায় যে দুটি কাঠামো এলিমেন্টারিলি সমতুল্য? ১৯৫৪ সালে রোনাল্ড ফ্রেইসে এবং ১৯৬১ সালে আন্দ্রে এরেনফয়খট মডেল থিওরিকে একটি খেলায় রূপান্তর করেন:
$n$-ধাপের ইএফ খেলা $G_n(mathcal{M}, mathcal{N})$
খেলায় দুজন খেলোয়াড় থাকে: স্পয়লার (Spoiler) এবং ডুপ্লিকেটর (Duplicator)। প্রতিটি ধাপে স্পয়লার যেকোনো একটি কাঠামো থেকে একটি উপাদান তোলে, আর ডুপ্লিকেটরকে অপর কাঠামো থেকে অনুরূপ উপাদান তুলে তার জবাব দিতে হয়। $n$ ধাপ পর নির্বাচিত উপাদানগুলো যদি একটি আংশিক আইসোমরফিজম বজায় রাখে, তবে ডুপ্লিকেটর জয়ী হয়।
এরেনফয়খট-ফ্রেইসে উপপাদ্য
যেকোনো $n$-এর জন্যই যদি খেলায় ডুপ্লিকেটরের একটি নিশ্চিত জয়ের কৌশল (Winning Strategy) থাকে, তবে এবং কেবল তবে কাঠামোদুটি এলিমেন্টারিলি সমতুল্য ($mathcal{M} equiv mathcal{N}$)।
৩. কোয়ান্টিফায়ার বর্জন (Quantifier Elimination – QE)
গণিতের জটিলতার প্রধান উৎস হলো কোয়ান্টিফায়ার ($forall, exists$)। একটি তত্ত্বে কোয়ান্টিফায়ার বর্জন সম্ভব যদি প্রতিটি জটিল সূত্রকে কোনো কোয়ান্টিফায়ার ছাড়াই সমতুল্য সাধারণ সমীকরণ বা অসমতার সূত্রে রূপান্তর করা যায়:
[
T vdash forall vec{x} , (phi(vec{x}) leftrightarrow psi(vec{x}))
]
যেসব তত্ত্বে কিউই (QE) সম্ভব, সেগুলোতে কোনো অমীমাংসিত জটিলতা থাকে না। এটি সাথে সাথে দুটি বৈপ্লবিক ফলাফল দেয়:
- সম্পূর্ণতা: তত্ত্বটি সম্পূর্ণভাবে নির্ধারিত।
- সিদ্ধান্তযোগ্যতা (Decidability): যেকোনো সূত্রের সত্যতা অ্যালগরিদম দিয়ে সসীম সময়ে নির্ণয় করা সম্ভব।
৪. ঐতিহাসিক বিজয়: রিয়েল ক্লোজড ফিল্ড ও কমপ্লেক্স নাম্বার
১. রিয়েল ক্লোজড ফিল্ডস (তারস্কি-সাইডেনবার্গ উপপাদ্য, ১৯৪৮)
আলফ্রেড তারস্কি প্রমাণ করেন যে বাস্তব সংখ্যার ফিল্ডের তত্ত্ব $text{RCF}$-এ কোয়ান্টিফায়ার বর্জন সম্পূর্ণরূপে সম্ভব! এর অর্থ বাস্তব জগতে যেকোনো বহুপদী সমীকরণ ও অসমতার জ্যামিতিক প্রজেকশন একটি সেমি-অ্যালজেব্রাইক সেট। তারস্কি প্রমাণ করেন যে ধ্রুপদী ইউক্লিডীয় জ্যামিতি এবং বাস্তব বীজগণিত সম্পূর্ণ সিদ্ধান্তযোগ্য (Decidable)—কম্পিউটার অ্যালগরিদম দিয়ে যেকোনো জ্যামিতিক উপপাদ্য পরীক্ষা করা সম্ভব!
২. বীজগণিতীয়ভাবে বদ্ধ ক্ষেত্র ($text{ACF}$)
জটিল সংখ্যার ক্ষেত্র $mathbb{C}$-এর মতো অ্যালজেব্রাইকালি ক্লোজড ফিল্ডেও কোয়ান্টিফায়ার বর্জন সম্ভব। এর ফলে প্রতিষ্ঠিত হয় লেফশেটজ নীতি (Lefschetz Principle): জটিল সংখ্যার ওপর প্রথম-স্তরের যেকোনো সত্য উপপাদ্য শূন্য ক্যারেক্টারিস্টিকের যেকোনো ক্লোজড ফিল্ডেই নিশ্চিত সত্য!
