प्राथमिक वर्ग

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

परिभाषा
किसी हस्ताक्षर (तर्क) σ की संरचना (गणितीय तर्क) के एक वर्ग (सेट सिद्धांत) K को 'प्राथमिक वर्ग' कहा जाता है यदि हस्ताक्षर σ का प्रथम-क्रम तर्क|प्रथम-क्रम सिद्धांत (गणितीय तर्क) T है, जैसे कि K में T के सभी मॉडल शामिल हैं, यानी, सभी σ-संरचनाएं जो T को संतुष्ट करती हैं। यदि T को एकल प्रथम-क्रम वाक्य वाले सिद्धांत के रूप में चुना जा सकता है, तो K को 'बुनियादी प्राथमिक वर्ग' कहा जाता है।

अधिक आम तौर पर, K एक छद्मप्राथमिक वर्ग है|छद्म-प्राथमिक वर्ग यदि हस्ताक्षर का प्रथम-क्रम सिद्धांत T है जो σ का विस्तार करता है, जैसे कि K में सभी σ-संरचनाएँ शामिल हैं जो T के मॉडल के σ में कम हो जाती हैं। अन्य में शब्द, σ-संरचनाओं का एक वर्ग K छद्म-प्राथमिक है यदि और केवल यदि कोई प्राथमिक वर्ग K ' है जैसे कि K में K में संरचनाओं के σ में सटीक रूप से कटौती शामिल है .

स्पष्ट कारणों से, प्रारंभिक कक्षाओं को 'प्रथम-क्रम तर्क में स्वयंसिद्ध' भी कहा जाता है, और बुनियादी प्रारंभिक कक्षाओं को 'प्रथम-क्रम तर्क में अंतिम रूप से स्वयंसिद्ध' भी कहा जाता है। ये परिभाषाएँ स्पष्ट रूप से अन्य तर्कों तक फैली हुई हैं, लेकिन चूँकि प्रथम-क्रम का मामला अब तक का सबसे महत्वपूर्ण है, 'स्वयंसिद्ध' इस मामले को स्पष्ट रूप से संदर्भित करता है जब कोई अन्य तर्क निर्दिष्ट नहीं किया जाता है।

विरोधाभासी और वैकल्पिक शब्दावली
जबकि उपरोक्त आजकल मॉडल सिद्धांत में मानक शब्दावली है| अनंत मॉडल सिद्धांत, थोड़ी अलग पिछली परिभाषाएँ अभी भी परिमित मॉडल सिद्धांत में उपयोग में हैं, जहां एक प्राथमिक वर्ग को Δ-प्राथमिक वर्ग कहा जा सकता है, और प्राथमिक वर्ग और प्रथम-क्रम स्वयंसिद्ध वर्ग शब्द बुनियादी प्राथमिक वर्गों (एबिंगहॉस) के लिए आरक्षित हैं और अन्य. 1994, एबिंगहॉस और फ़्लम 2005)। होजेस प्राथमिक कक्षाओं को स्वयंसिद्ध कक्षाएं कहते हैं, और वह बुनियादी प्राथमिक कक्षाओं को निश्चित कक्षाओं के रूप में संदर्भित करते हैं। वह संबंधित समानार्थक शब्द EC का भी उपयोग करता है$$_\Delta$$ क्लास और ईसी क्लास (हॉजेस, 1993)।

इस भिन्न शब्दावली के अच्छे कारण हैं। सामान्य मॉडल सिद्धांत में विचार किए जाने वाले हस्ताक्षर (तर्क) अक्सर अनंत होते हैं, जबकि एक प्रथम-क्रम तर्क|प्रथम-क्रम वाक्य (गणितीय तर्क) में केवल सीमित रूप से कई प्रतीक होते हैं। इसलिए, बुनियादी प्रारंभिक कक्षाएं अनंत मॉडल सिद्धांत में असामान्य हैं। दूसरी ओर, परिमित मॉडल सिद्धांत लगभग विशेष रूप से परिमित हस्ताक्षरों से संबंधित है। यह देखना आसान है कि प्रत्येक परिमित हस्ताक्षर σ के लिए और समरूपता के तहत बंद σ-संरचनाओं के प्रत्येक वर्ग K के लिए एक प्राथमिक वर्ग है $$K'$$ σ-संरचनाओं की ऐसी कि K और $$K'$$ बिल्कुल समान परिमित संरचनाएँ शामिल हैं। इसलिए, प्रारंभिक कक्षाएं परिमित मॉडल सिद्धांतकारों के लिए बहुत दिलचस्प नहीं हैं।

धारणाओं के बीच आसान संबंध
स्पष्ट रूप से प्रत्येक बुनियादी प्राथमिक कक्षा एक प्राथमिक कक्षा है, और प्रत्येक प्रारंभिक कक्षा एक छद्म-प्राथमिक कक्षा है। इसके अलावा, सघनता प्रमेय के एक आसान परिणाम के रूप में, σ-संरचनाओं का एक वर्ग बुनियादी प्राथमिक है यदि और केवल यदि यह प्राथमिक है और इसका पूरक भी प्राथमिक है।

एक बुनियादी प्रारंभिक कक्षा
मान लीजिए कि σ एक हस्ताक्षर है जिसमें केवल एक एकात्मक कार्य प्रतीक f शामिल है। σ-संरचनाओं का वर्ग K जिसमें f इंजेक्शन है (गणित)|वन-टू-वन एक बुनियादी प्राथमिक वर्ग है। यह सिद्धांत टी द्वारा प्रमाणित है, जिसमें केवल एक वाक्य शामिल है
 * $$\forall x\forall y( (f(x)=f(y)) \to (x=y) )$$.

एक प्राथमिक, बुनियादी छद्मप्राथमिक वर्ग जो बुनियादी प्राथमिक नहीं है
मान लीजिए σ एक मनमाना हस्ताक्षर है। सभी अनंत σ-संरचनाओं का वर्ग K प्राथमिक है। इसे देखने के लिए वाक्यों पर विचार करें


 * $$\rho_2={}$$ $$\exist x_1\exist x_2(x_1 \not =x_2)$$,


 * $$\rho_3={}$$ $$\exist x_1\exist x_2\exist x_3((x_1 \not =x_2) \land (x_1 \not =x_3) \land (x_2 \not =x_3))$$,

और इसी तरह। (तो वाक्य $$\rho_n$$ कहता है कि कम से कम n तत्व हैं।) अनंत σ-संरचनाएं सटीक रूप से सिद्धांत के मॉडल हैं


 * $$T_\infty=\{\rho_2, \rho_3, \rho_4, \dots\}$$.

लेकिन K एक बुनियादी प्रारंभिक कक्षा नहीं है। अन्यथा अनंत σ-संरचनाएँ बिल्कुल वही होंगी जो एक निश्चित प्रथम-क्रम वाक्य τ को संतुष्ट करती हैं। लेकिन फिर सेट $$\{\neg\tau, \rho_2, \rho_3, \rho_4, \dots\}$$ असंगत होगा. सघनता प्रमेय द्वारा, कुछ प्राकृत संख्या n समुच्चय के लिए $$\{\neg\tau, \rho_2, \rho_3, \rho_4, \dots, \rho_n\}$$ असंगत होगा. लेकिन यह बेतुका है, क्योंकि यह सिद्धांत किसी भी परिमित σ-संरचना से संतुष्ट है $$n+1$$ या अधिक तत्व.

हालाँकि, हस्ताक्षर σ' = σ में एक बुनियादी प्राथमिक वर्ग K ' है $$\cup$$ {f}, जहां f एक यूनरी फ़ंक्शन प्रतीक है, जैसे कि K में K ' में σ'-संरचनाओं के σ में कटौती शामिल है। K ' एकल वाक्य द्वारा स्वयंसिद्ध है $$(\forall x\forall y(f(x) = f(y) \rightarrow x=y) \land \exists y\neg\exists x(y = f(x))),$$, जो व्यक्त करता है कि एफ विशेषण है लेकिन विशेषण नहीं है। इसलिए, K प्राथमिक है और जिसे बुनियादी छद्म-प्राथमिक कहा जा सकता है, लेकिन बुनियादी प्राथमिक नहीं।

छद्म-प्राथमिक वर्ग जो गैर-प्राथमिक है
अंत में, हस्ताक्षर σ पर विचार करें जिसमें एकल एकल संबंध प्रतीक P शामिल है। प्रत्येक σ-संरचना एक सेट का दो उपसमूहों में विभाजन है: वे तत्व जिनके लिए P धारण करता है, और बाकी। मान लीजिए कि K सभी σ-संरचनाओं का वर्ग है जिसके लिए इन दो उपसमुच्चयों की प्रमुखता समान है, अर्थात, उनके बीच एक आक्षेप है। यह वर्ग प्राथमिक नहीं है, क्योंकि एक σ-संरचना जिसमें P और उसके पूरक दोनों की प्राप्ति का सेट गणनीय रूप से अनंत है, σ-संरचना के समान प्रथम-क्रम वाक्यों को सटीक रूप से संतुष्ट करता है जिसमें सेटों में से एक गणनीय रूप से अनंत है और अन्य बेशुमार है.

अब हस्ताक्षर पर विचार करें $$\sigma'$$, जिसमें एक यूनरी फ़ंक्शन प्रतीक f के साथ P भी शामिल है। होने देना $$K'$$ सभी का वर्ग हो $$\sigma'$$-संरचनाएँ ऐसी हैं कि f एक आक्षेप है और P, x के लिए धारण करता है यदि P, f(x) के लिए धारण नहीं करता है। $$K'$$ स्पष्ट रूप से एक प्रारंभिक वर्ग है, और इसलिए K एक छद्म-प्राथमिक वर्ग का उदाहरण है जो प्राथमिक नहीं है।

गैर-छद्म-प्राथमिक वर्ग
मान लीजिए σ एक मनमाना हस्ताक्षर है। सभी परिमित σ-संरचनाओं का वर्ग K प्राथमिक नहीं है, क्योंकि (जैसा कि ऊपर दिखाया गया है) इसका पूरक प्राथमिक है लेकिन बुनियादी प्राथमिक नहीं है। चूँकि यह σ का विस्तार करने वाले प्रत्येक हस्ताक्षर के लिए भी सत्य है, K एक छद्म-प्राथमिक वर्ग भी नहीं है।

यह उदाहरण कहीं अधिक अभिव्यंजक दूसरे-क्रम तर्क के विपरीत प्रथम-क्रम तर्क में निहित अभिव्यंजक शक्ति की सीमाओं को प्रदर्शित करता है। हालाँकि, द्वितीय-क्रम तर्क, प्रथम-क्रम तर्क के कई वांछनीय गुणों को बनाए रखने में विफल रहता है, जैसे कि गोडेल की पूर्णता_प्रमेय और कॉम्पैक्टनेस प्रमेय प्रमेय।