प्राथमिक तुल्यता

मॉडल सिद्धांत में, गणितीय तर्क की एक शाखा, एक ही प्रतीक σ की दो संरचनाएं M और N को प्राथमिक रूप से समतुल्य कहा जाता है यदि वे समान प्रथम-क्रम σ-वाक्यों को संतुष्ट करते हैं।

यदि N, M की एक उपसंरचना है, तो अक्सर एक मजबूत स्थिति की आवश्यकता होती है। इस मामले में N को M का प्रारंभिक उपसंरचना कहा जाता है यदि प्रत्येक प्रथम-क्रम σ-सूत्र φ(a₁, …, a_n) पैरामीटर a₁, …, a_n के साथ N में सत्य है यदि और केवल यदि यह M में सत्य है।  यदि N, M का प्राथमिक उपसंरचना है, तो M को N का प्रारंभिक विस्तार कहा जाता है। एक एम्बेडिंग h: N → M को M में N का प्रारंभिक एम्बेडिंग कहा जाता है यदि h(N) M का एक प्रारंभिक उपसंरचना है।

M का एक उपसंरचना N प्राथमिक है यदि और केवल अगर यह टार्स्की-वॉथ परीक्षण पास करता है: N में पैरामीटर के साथ प्रत्येक प्रथम-क्रम सूत्र φ(x, b₁, …, b_n) जिसका M में समाधान होता है, M में मूल्यांकन करने पर N में भी एक समाधान होता है। कोई यह साबित कर सकता है कि दो संरचनाएं मूल रूप से एहरनफेक्ट-फ्रैस्से खेलों के बराबर हैं।

रैंक-टू-रैंक सहित बड़े कार्डिनल्स के अध्ययन में प्राथमिक एम्बेडिंग का उपयोग किया जाता है।

प्राथमिक रूप से समतुल्य संरचनाएँ

एक ही प्रतीक σ की दो संरचनाएँ M और N प्राथमिक रूप से समतुल्य हैं यदि σ पर प्रत्येक प्रथम-क्रम वाक्य (मुक्त चर के बिना सूत्र) M में सत्य है यदि और केवल यदि यह N में सत्य है, अर्थात यदि M और N में समान पूर्ण प्रथम-क्रम सिद्धांत है। यदि M और N मूलतः समतुल्य हैं, तो कोई M ≡ N लिखता है।

प्रथम-क्रम सिद्धांत तभी पूर्ण होता है जब इसके कोई भी दो मॉडल प्राथमिक रूप से समकक्ष हों।

उदाहरण के लिए, एक बाइनरी रिलेशन सिंबल '<' वाली भाषा पर विचार करें। अपने सामान्य क्रम के साथ वास्तविक संख्याओं का मॉडल R और अपने सामान्य क्रम के साथ परिमेय संख्याओं का मॉडल Q मौलिक रूप से समतुल्य हैं क्योंकि वे दोनों '<' को एक असीमित घने रैखिक क्रम के रूप में व्याख्या करते हैं। यह प्राथमिक तुल्यता सुनिश्चित करने के लिए पर्याप्त है, क्योंकि असीमित घने रैखिक क्रम का सिद्धांत पूरा हो गया है, जैसा कि लोश-वॉच परीक्षण द्वारा दिखाया जा सकता है।

अधिक सामान्यतः, अनंत मॉडल वाले किसी भी प्रथम-क्रम सिद्धांत में गैर-आइसोमोर्फिक, प्राथमिक रूप से समकक्ष मॉडल होते हैं, जिन्हें लोवेनहेम-स्कोलेम प्रमेय के माध्यम से प्राप्त किया जा सकता है। इस प्रकार, उदाहरण के लिए, पीनो अंकगणित के गैर-मानक मॉडल हैं, जिनमें केवल संख्या 0, 1, 2, आदि के अलावा अन्य वस्तुएं शामिल हैं, और फिर भी वे मानक मॉडल के मूल रूप से समकक्ष हैं।

प्राथमिक उपसंरचनाएं और प्रारंभिक विस्तार

N, M का एक प्राथमिक उपसंरचना या प्राथमिक उपमॉडल है यदि N और M एक ही प्रतीक σ की संरचनाएं हैं जैसे कि सभी प्रथम-क्रम σ-सूत्रों φ(x₁, …, x_n) के लिए मुक्त चर x₁, …, x_n, और सभी तत्वों a₁, …, a_n N का φ(a₁, …, a_n) N में रहता है यदि और केवल अगर यह M में रहता है:

$$N\models \varphi (a_{1},\dots ,a_{n}){\text{ if and only if }}M\models \varphi (a_{1},\dots ,a_{n}).$$

यह परिभाषा सबसे पहले टार्स्की, वॉट (1957) में दिखाई देती है। इससे यह निष्कर्ष निकलता है कि N, M की एक उपसंरचना है।

यदि N, M का एक उपसंरचना है, तो N और M दोनों को प्रतीक σ_N में संरचनाओं के रूप में व्याख्या किया जा सकता है, जिसमें N के प्रत्येक तत्व के लिए एक नए स्थिर प्रतीक के साथ σ शामिल है। तब N, M का एक प्राथमिक उपसंरचना है यदि और केवल यदि N, M का एक उपसंरचना है और N और M मूल रूप से σ_N-संरचनाओं के बराबर हैं।

यदि N, M का प्राथमिक उपसंरचना है, तो कोई N ⪯ M लिखता है और कहता है कि M, N: M ⪰ N का प्रारंभिक विस्तार है।

नीचे की ओर लोवेनहेम-स्कोलेम प्रमेय अधिकतम गणनीय प्रतीक में किसी भी अनंत प्रथम-क्रम संरचना के लिए एक गणनीय प्राथमिक उप-संरचना देता है; उर्ध्वगामी लोवेनहेम-स्कोलेम प्रमेय मनमाने ढंग से बड़ी कार्डिनैलिटी की किसी भी अनंत प्रथम-क्रम संरचना का प्रारंभिक विस्तार देता है।

टार्स्की-वाउट टेस्ट

टार्स्की-वॉट परीक्षण (या टार्स्की-वॉट मानदंड) एक संरचना M के उपसंरचना N के प्राथमिक उपसंरचना होने के लिए एक आवश्यक और पर्याप्त शर्त है। यह किसी बड़ी संरचना की प्राथमिक उपसंरचना के निर्माण के लिए उपयोगी हो सकता है।

मान लीजिए M प्रतीक σ की एक संरचना है और N M की एक उपसंरचना है। तब N M का एक प्रारंभिक उपसंरचना है यदि और केवल यदि प्रत्येक प्रथम-क्रम सूत्र φ(x, y) के लिए₁, …, और_n) σ और सभी तत्वों पर बी₁, …, बी_n N से, यदि M $\models$ $\exists$x φ(x, b₁, …, बी_n), तो N में एक तत्व a इस प्रकार है कि M $\models$ φ(ए, बी₁, …, बी_n).

प्राथमिक एम्बेडिंग

एक संरचना N को एक ही प्रतीक σ की संरचना M में प्राथमिक रूप से एम्बेड करना एक मानचित्र एच है: N → M जैसे कि प्रत्येक प्रथम-क्रम σ-सूत्र φ(x₁, …, एक्स_n) और सभी तत्व ए₁, …, ए_n N का,

N $\models$ एफ(ए₁, …, ए_n) यदि और केवल यदि M $\models$ φ(एच(ए₁), ...,एच(ए_n)).

प्रत्येक प्राथमिक एम्बेडिंग एक संरचना (गणितीय तर्क)#समरूपता है, और इसकी छवि एक प्राथमिक उपसंरचना है।

मॉडल सिद्धांत में प्राथमिक एम्बेडिंग सबसे महत्वपूर्ण महत्वपूर्ण बिंदु (सेट सिद्धांत) में, प्राथमिक एम्बेडिंग जिसका डोमेन V (सेट सिद्धांत का ब्रह्मांड) है, बड़े कार्डिनल्स के सिद्धांत में एक महत्वपूर्ण भूमिका निभाते हैं (क्रिटिकल पॉइंट (सेट सिद्धांत) भी देखें)।

संदर्भ

• Chang, Chen Chung; Keisler, H. Jerome (1990) [1973], Model Theory, Studies in Logic and the Foundations of Mathematics (3rd ed.), Elsevier, ISBN 978-0-444-88054-3.
• Hodges, Wilfrid (1997), A shorter model theory, Cambridge: Cambridge University Press, ISBN 978-0-521-58713-6.
• Monk, J. Donald (1976), Mathematical Logic, Graduate Texts in Mathematics, New York • Heidelberg • Berlin: Springer Verlag, ISBN 0-387-90170-1