मॉडल सिद्धांत: Difference between revisions

Latest revision as of 16:15, 28 February 2023

गणितीय तर्क में, मॉडल सिद्धांत एक औपचारिक सिद्धांतों संरचना (गणितीय तर्क) के बारे में प्रमाणों को व्यक्त करने वाली औपचारिक भाषा में सिद्धांत (गणितीय तर्क) (वाक्य का एक संग्रह (गणितीय तर्क) और उनके मॉडल (उन संरचनाओं में जिनमें सिद्धांत के प्रमाण होते हैं) के बीच संबंधों का अध्ययन है।^[1] जांच किए गए पहलुओं में एक सिद्धांत के मॉडलों की संख्या और आकार, एक दूसरे के साथ विभिन्न मॉडलों के संबंध और औपचारिक भाषा के साथ उनकी बातचीत सम्मिलित है। विशेष रूप से, मॉडल सिद्धांतकार उन समुच्चयों की भी जांच करते हैं जिन्हें एक सिद्धांत के एक मॉडल में परिभाषित किया जा सकता हैं, और ऐसे निश्चित समुच्चय का एक दूसरे से संबंध करते हैं।

एक अलग अनुशासन के रूप में, मॉडल सिद्धांत वापस अल्फ्रेड टार्स्की के पास जाता है, जिन्होंने पहली बार 1954 में प्रकाशन में "मॉडल का सिद्धांत" शब्द का प्रयोग किया था।^[2] 1970 के दशक के बाद से, इस विषय को सहारों शेलाह के स्थिर सिद्धांत द्वारा निर्णायक रूप से आकार दिया गया है।

गणितीय तर्क के अन्य क्षेत्रों जैसे प्रमाण सिद्धांत की तुलना में, मॉडल सिद्धांत प्रायः औपचारिक कठोरता से कम चिंतित होता है और आत्मा में चिरसम्मत गणित के करीब होता है।

इसने टिप्पणी को प्रेरित किया है कि "यदि प्रमाण सिद्धांत पवित्र के बारे में है, तो आदर्श सिद्धांत अपवित्र के बारे में है"।^[3] बीजगणितीय ज्यामिति और डायोफैंटाइन ज्यामिति के मॉडल सिद्धांत के अनुप्रयोग चिरसम्मत गणित के साथ इस निकटता को दर्शाते हैं, क्योंकि वे प्रायः बीजगणितीय और मॉडल-सैद्धांतिक परिणामों और तकनीकों का एकीकरण सम्मिलित करते हैं।

मॉडल सिद्धांत के क्षेत्र में सबसे प्रमुख विद्वतापूर्ण संगठन प्रतीकात्मक तर्क के लिए एसोसिएशन है।

अवलोकन

यह पृष्ठ अनंत संरचनाओं के अंतिम पहले क्रम के तर्क मॉडल सिद्धांत पर केंद्रित है।

विषय के इतिहास में उतार-चढ़ाव वाले मॉडल के भीतर निश्चित समुच्चयों के वर्ग के विपरीत एक सिद्धांत के मॉडल के वर्ग पर सापेक्ष जोर दिया गया है, और दो दिशाओं को क्रमशः 1973 और 1997 से सारगर्भित विशेषताओं द्वारा संक्षेपित किया गया है:

मॉडल सिद्धांत = सार्वभौमिक बीजगणित + तर्क^[4]

जहां सार्वभौमिक बीजगणित गणितीय संरचनाओं और तार्किक सिद्धांतों के लिए तर्क के लिए स्थिर है; और

मॉडल सिद्धांत = बीजगणितीय ज्यामिति - क्षेत्र (गणित) एस।

जहां तार्किक सूत्र परिभाषित करने योग्य हैं, एक क्षेत्र में किस्मों के लिए कौन से समीकरण हैं।^[5] फिर भी, मॉडलों की कक्षाओं और उनमें परिभाषित किए जाने वाले समुच्चयों की परस्पर क्रिया पूरे इतिहास में मॉडल सिद्धांत के विकास के लिए महत्वपूर्ण है। उदाहरण के लिए, जबकि स्थिरता को मूल रूप से किसी दिए गए प्रमुखता में उनके मॉडलों की संख्या के आधार पर सिद्धांतों को वर्गीकृत करने के लिए पेश किया गया था, स्थिरता सिद्धांत परिभाषित निश्चित समुच्चयों की ज्यामिति को समझने के लिए महत्वपूर्ण प्रमाणित हुआ।

प्रथम-क्रम मॉडल सिद्धांत की मौलिक धारणाएँ

प्रथम-क्रम तर्क

तर्क प्रतीकों की तालिका के माध्यम से R(f(x,y),z) या y = x + 1 जैसे परमाणु सूत्र से एक प्रथम-क्रम सूत्र बनाया गया है। $\neg ,\land ,\lor ,\rightarrow$ और परिमाणकों का उपसर्ग $\forall v$ या $\exists v$ . एक वाक्य एक सूत्र है जिसमें एक चर की प्रत्येक घटना संबंधित परिमाणक के दायरे में होती है। सूत्रों के उदाहरण हैं φ (या φ(x) इस तथ्य को चिह्नित करने के लिए कि अधिक से अधिक x φ में एक अनबाउंड चर है) और ψ को निम्नानुसार परिभाषित किया गया है:

{\begin{array}{lcl}\varphi &=&\forall u\forall v(\exists w(x\times w=u\times v)\rightarrow (\exists w(x\times w=u)\lor \exists w(x\times w=v)))\land x\neq 0\land x\neq 1,:\\\psi &=&\forall u\forall v((u\times v=x)\rightarrow (u=x)\lor (v=x))\land x\neq 0\land x\neq 1.\end{array}}

(ध्यान दें कि समानता के प्रतीक का यहाँ दोहरा अर्थ है।) यह सहज रूप से स्पष्ट है कि ऐसे सूत्रों को गणितीय अर्थ में कैसे अनुवादित किया जाए। σ में_smr- संरचना में ${\mathcal {N}}$ प्राकृतिक संख्याओं के उदाहरण के लिए, एक तत्व n सूत्र φ को संतुष्ट करता है और केवल यदि n एक अभाज्य संख्या है तो सूत्र ψ समान रूप से इर्रेड्यूसिबल तत्व को परिभाषित करता है।संतुष्टि संबंध के लिए तर्स्की ने एक कठोर परिभाषा दी, जिसे कभी-कभी "तर्स्की की सत्य की परिभाषा (टी-स्कीमा)" भी कहा जाता है $\models$ , ताकि कोई आसानी से प्रमाणित कर सके:

{\mathcal {N}}\models \varphi (n)\iff n

एक अभाज्य संख्या है।

{\mathcal {N}}\models \psi (n)\iff n

अलघुकरणीय है।

एक समुच्चय $T$ वाक्यों की संख्या को एक (प्रथम-क्रम) सिद्धांत (गणितीय तर्क) कहा जाता है, जो समुच्चय में वाक्यों को अपने सिद्धांतों के रूप में लेता है। यदि कोई मॉडल है तो एक सिद्धांत संतोषजनक है ${\mathcal {M}}\models T$ , अर्थात एक संरचना (उपयुक्त हस्ताक्षर की) जो $T$ समुच्चय में सभी वाक्यों को पूरा करती है, एक पूर्ण सिद्धांत एक ऐसा सिद्धांत है जिसमें प्रत्येक वाक्य (गणितीय तर्क) या उसका निषेध सम्मिलित है। किसी संरचना द्वारा संतुष्ट सभी वाक्यों के पूर्ण सिद्धांत को उस संरचना का सिद्धांत भी कहा जाता है।

यह गोडेल की पूर्णता प्रमेय (उनके अपूर्णता प्रमेय के साथ भ्रमित नहीं होना) का एक परिणाम है कि एक सिद्धांत का एक मॉडल है और केवल अगर यह सुसंगत है, अर्थात सिद्धांत द्वारा कोई विरोधाभास प्रमाणित नहीं होता है। इसलिए, मॉडल सिद्धांतकार प्रायः "संतोषजनक" के पर्याय के रूप में "संगत" का उपयोग करते हैं।

बुनियादी मॉडल-सैद्धांतिक अवधारणाएं

एक हस्ताक्षर (तर्क) या भाषा गैर-तार्किक प्रतीकों का एक समुच्चय है, जैसे कि प्रत्येक प्रतीक या तो एक स्थिर प्रतीक है, या निर्दिष्ट एरिटी योग के साथ एक फलन या संबंध प्रतीक है। ध्यान दें कि कुछ साहित्य में, निरंतर प्रतीकों को शून्य एरिटी के साथ फलन प्रतीकों के रूप में माना जाता है, और इसलिए उन्हें छोड़ दिया जाता है। संरचना (गणितीय तर्क) एक समुच्चय है $M$ संबंधों और कार्यों के रूप में हस्ताक्षर के प्रत्येक प्रतीक की व्याख्या के साथ $M$ (एक संरचना की दूसरी संरचना की व्याख्या (मॉडल सिद्धांत) की औपचारिक धारणा के साथ भ्रमित नहीं होना)।

उदाहरण: आदेशित छल्लों के लिए एक सामान्य हस्ताक्षर $\sigma _{or}=\{0,1,+,\times ,-,<\}$ है, कहाँ $0$ और $1$ 0-एरी फलन प्रतीक हैं (जिन्हें निरंतर प्रतीकों के रूप में भी जाना जाता है), $+$ और $\times$ बाइनरी (= 2-एरी) फलन प्रतीक हैं, $-$ एक यूनरी (= 1-एरी) फलन प्रतीक है, और $<$ एक द्विआधारी संबंध प्रतीक है। फिर, जब इन प्रतीकों की व्याख्या उनके सामान्य अर्थ के अनुरूप की जाती है $\mathbb {Q}$ (ताकि उदा. $+$ से एक फलन है, $\mathbb {Q} ^{2}$ को $\mathbb {Q}$ और $<$ का $\mathbb {Q} ^{2}$ उपसमुच्चय है), एक संरचना $(\mathbb {Q} ,\sigma _{or})$ प्राप्त करता है।

संरचना ${\mathcal {N}}$ मॉडल कहा जाता है^{[clarification needed]} पहले क्रम के वाक्यों का एक समुच्चय $T$ [स्पष्टीकरण की आवश्यकता] मॉडल करने के लिए कहा जाता है, दिए गए भाषा में यदि प्रत्येक वाक्य में $T$ में सत्य है ${\mathcal {N}}$ पहले निर्दिष्ट हस्ताक्षर की व्याख्या के संबंध में ${\mathcal {N}}$ . (फिर से, एक संरचना की दूसरी संरचना की व्याख्या (मॉडल सिद्धांत) की औपचारिक धारणा से भ्रमित नहीं होना चाहिए)।

एक आधार (गणित) ${\mathcal {A}}$ एक σ-संरचना का ${\mathcal {B}}$ इसके डोमेन का एक उपसमुच्चय है, जो इसके हस्ताक्षर σ में सभी कार्यों के तहत बंद है, जिसे σ में सभी कार्यों और संबंधों को उपसमुच्चय में प्रतिबंधित करके σ-संरचना के रूप में माना जाता है। यह बीजगणित से समरूप अवधारणाओं का सामान्यीकरण करता है; उदाहरण के लिए, एक उपसमूह गुणा और व्युत्क्रम के साथ हस्ताक्षर में एक उपसंरचना है।

एक उपसंरचना को प्राथमिक कहा जाता है यदि किसी प्रथम-क्रम सूत्र φ और किसी भी तत्व a₁, ..., ए_n का ${\mathcal {A}}$ ,

{\mathcal {A}}\models \varphi (a_{1},...,a_{n})

अगर और केवल अगर

{\mathcal {B}}\models \varphi (a_{1},...,a_{n})

.

विशेष रूप से, यदि φ एक वाक्य है और ${\mathcal {A}}$ की एक प्राथमिक संरचना ${\mathcal {B}}$ , तब ${\mathcal {A}}\models \varphi$ यदि और केवल ${\mathcal {B}}\models \varphi$ . इस प्रकार, एक प्राथमिक उपसंरचना एक सिद्धांत का एक मॉडल है, ठीक उसी समय जब अधिरचना एक मॉडल है।

उदाहरण: जबकि बीजगणितीय संख्याओं का क्षेत्र ${\overline {\mathbb {Q} }}$ जटिल संख्याओं के क्षेत्र का एक प्राथमिक उपसंरचना है $\mathbb {C}$ , तर्कसंगत क्षेत्र $\mathbb {Q}$ नहीं है, जैसा कि हम व्यक्त कर सकते हैं कि "2 का एक वर्गमूल है" पहले क्रम के वाक्य के रूप में संतुष्ट है $\mathbb {C}$ लेकिन द्वारा नहीं $\mathbb {Q}$ .

σ-संरचना का एक एम्बेडिंग ${\mathcal {A}}$ दूसरे σ-संरचना में ${\mathcal {B}}$ एक मानचित्र f: A → B डोमेन के बीच है जिसे एक समरूपता के रूप में लिखा जा सकता है ${\mathcal {A}}$ के एक संरचना के साथ ${\mathcal {B}}$ . यदि इसे एक प्रारंभिक संरचना के साथ एक समरूपता के रूप में लिखा जा सकता है, तो इसे एक प्राथमिक एम्बेडिंग कहा जाता है। प्रत्येक एम्बेडिंग एक इंजेक्शन समरूपता है, लेकिन बातचीत केवल तभी होती है जब हस्ताक्षर में कोई संबंध प्रतीक नहीं होता है, जैसे समूहों या क्षेत्रों में नहीं होता है।

किसी क्षेत्र या सदिश समष्टि को इसकी कुछ संरचना की उपेक्षा करके एक (क्रमविनिमेय) समूह के रूप में माना जा सकता है। मॉडल सिद्धांत में संबंधित धारणा मूल हस्ताक्षर के उपसमुच्चय के लिए एक संरचना की कमी की है। विपरीत संबंध को विस्तार कहा जाता है - उदा। परिमेय संख्याओं का (योगात्मक) समूह, जिसे हस्ताक्षर {+,0} में एक संरचना के रूप में माना जाता है, को हस्ताक्षर {×,+,1,0} के साथ एक क्षेत्र में या हस्ताक्षर {+ के साथ एक आदेशित समूह में विस्तारित किया जा सकता है।,0,<}.

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

सघनता और लोवेनहेम-स्कोलेम प्रमेय

सघनता प्रमेय में कहा गया है कि यदि S का प्रत्येक परिमित उपसमुच्चय संतोषजनक है तो S वाक्यों का एक समुच्चय संतोषजनक है। संतोषजनक के बजाय सुसंगत कथन तुच्छ है, क्योंकि प्रत्येक प्रमाण में उपयोग किए जाने वाले पूर्ववृत्तों की केवल एक सीमित संख्या हो सकती है। पूर्णता प्रमेय हमें इसे संतुष्टि के लिए स्थानांतरित करने की अनुमति देता है। हालाँकि, कॉम्पैक्टनेस प्रमेय के कई प्रत्यक्ष (अर्थ संबंधी) प्रमाण भी हैं। एक उपप्रमेय के रूप में (अर्थात्, इसका प्रतिधनात्मक), संघनन प्रमेय कहता है कि प्रत्येक असंतुष्ट प्रथम-क्रम सिद्धांत का एक परिमित असंतोषजनक उपसमुच्चय होता है।यह प्रमेय मॉडल सिद्धांत में केंद्रीय महत्व का है, जहां "सघनता से" शब्द सामान्य हैं।^[6] लोवेनहेम-स्कोलेम प्रमेय प्रथम-क्रम मॉडल सिद्धांत की एक और आधारशिला है। लोवेनहाइम-स्कोलेम प्रमेय के अनुसार, एक गणनीय हस्ताक्षर में प्रत्येक अनंत संरचना में एक गणनीय प्राथमिक उपसंरचना होती है। इसके विपरीत, किसी भी अनंत कार्डिनल κ के लिए एक गणनीय हस्ताक्षर में प्रत्येक अनंत संरचना जो κ से कम कार्डिनैलिटी की है, प्राथमिक रूप से कार्डिनैलिटी κ की एक और संरचना में एम्बेड की जा सकती है (बेशुमार हस्ताक्षरों के लिए एक सीधा सामान्यीकरण है)। विशेष रूप से, लोवेनहाइम-स्कोलेम प्रमेय का अर्थ है कि अनंत मॉडलों के साथ एक गणनीय मॉडल के साथ-साथ मनमाने ढंग से बड़े मॉडल भी होते हैं।^[7] एक निश्चित अर्थ में लिंडस्ट्रॉम के प्रमेय द्वारा सही बनाया गया, प्रथम-क्रम तर्क सबसे अभिव्यंजक तर्क है जिसके लिए लोवेनहेम-स्कोलेम प्रमेय और कॉम्पैक्टनेस प्रमेय दोनों हैं।^[8]

निश्चितता

परिभाषित करने योग्य समुच्चय

मॉडल सिद्धांत में, परिभाषित करने योग्य समुच्चय अध्ययन की महत्वपूर्ण वस्तुएँ हैं। उदाहरण के लिए, में $\mathbb {N}$ सूत्र

\forall u\forall v(\exists w(x\times w=u\times v)\rightarrow (\exists w(x\times w=u)\lor \exists w(x\times w=v)))\land x\neq 0\land x\neq 1

अभाज्य संख्याओं के सबसमुच्चय को परिभाषित करता है, जबकि सूत्र

\exists y(2\times y=x)

सम संख्याओं के उपसमुच्चय को परिभाषित करता है। इसी प्रकार, n मुक्त चर वाले सूत्र निम्न के उपसमुच्चय को परिभाषित करते हैं ${\mathcal {M}}^{n}$ . उदाहरण के लिए, एक क्षेत्र में, सूत्र:

y=x\times x

सभी के वक्र को परिभाषित करता है $(x,y)$ ऐसा है कि $y=x^{2}$ .

यहां बताई गई दोनों परिभाषाएं पैरामीटर-मुक्त हैं, अर्थात, परिभाषित करने वाले सूत्र किसी निश्चित डोमेन तत्वों का उल्लेख नहीं करते हैं। हालांकि, कोई भी मॉडल से मापदंडों के साथ परिभाषा पर विचार कर सकता है। उदाहरण के लिए, में $\mathbb {R}$ , सूत्र

y=x\times x+\pi

पैरामीटर का उपयोग करता है $\pi$ से $\mathbb {R}$ एक वक्र को परिभाषित करने के लिए होता है।^[9]

क्वांटिफायर को समाप्त करना

सामान्यतः, क्वांटिफायर के बिना निश्चित समुच्चय का वर्णन करना आसान होता है, जबकि संभवतः नेस्टेड क्वांटिफायर वाले निश्चित समुच्चय अधिक जटिल हो सकते हैं।^[10]

यह निश्चित समुच्चयों के विश्लेषण के लिए क्वांटिफायर उन्मूलन को एक महत्वपूर्ण उपकरण बनाता है: एक सिद्धांत टी में मात्रात्मक विलोपन है यदि प्रत्येक प्रथम-क्रम सूत्र φ(x₁, ..., X_n) इसके हस्ताक्षर के ऊपर एक प्रथम-क्रम सूत्र ψ(x₁, ..., X_n) क्वांटिफायर के बिना, अर्थात $\forall x_{1}\dots \forall x_{n}(\phi (x_{1},\dots ,x_{n})\leftrightarrow \psi (x_{1},\dots ,x_{n}))$ टी के सभी मॉडलों में रखती है।^[11] यदि किसी संरचना के सिद्धांत में क्वांटिफायर उन्मूलन है, तो संरचना में परिभाषित प्रत्येक समुच्चय मूल परिभाषा के समान पैरामीटर पर क्वांटिफायर-मुक्त सूत्र द्वारा निश्चित है। उदाहरण के लिए, हस्ताक्षर σ में बीजगणितीय रूप से बंद क्षेत्रों का सिद्धांत = (×,+,−,0,1) में क्वांटिफायर एलिमिनेशन है।^[12] इसका मतलब यह है कि बीजगणितीय रूप से बंद क्षेत्र में, प्रत्येक सूत्र बहुपदों के बीच समीकरणों के बूलियन संयोजन के बराबर है।

यदि किसी सिद्धांत में क्वांटिफायर एलिमिनेशन नहीं है, तो कोई इसके हस्ताक्षर में अतिरिक्त प्रतीक जोड़ सकता है ताकि यह हो। विशिष्ट सिद्धांतों के लिए, विशेष रूप से बीजगणित में, एक्सियोमैटिसेबिलिटी और क्वांटिफायर एलिमिनेशन परिणाम, मॉडल सिद्धांत के प्रारम्भिक लैंडमार्क परिणामों में से थे।^[13] लेकिन प्रायः क्वांटिफायर उन्मूलन के बजाय कमजोर संपत्ति पर्याप्त होती है:

एक सिद्धांत टी को मॉडल-पूर्ण कहा जाता है यदि टी के मॉडल के प्रत्येक सबस्ट्रक्चर जो स्वयं टी का एक मॉडल है, एक प्राथमिक सबस्ट्रक्चर है। परीक्षण के लिए एक उपयोगी मानदंड है कि क्या एक उपसंरचना एक प्राथमिक उपसंरचना है, जिसे तर्स्की-वॉट टेस्ट कहा जाता है।^[14] यह इस कसौटी से अनुसरण करता है कि एक सिद्धांत टी मॉडल-पूर्ण है यदि और केवल यदि प्रत्येक प्रथम-क्रम सूत्र φ(x₁, ..., X_n) इसके हस्ताक्षर के ऊपर एक अस्तित्वगत प्रथम-क्रम सूत्र के बराबर मॉड्यूलो टी है, अर्थात निम्न रूप का एक सूत्र:

\exists v_{1}\dots \exists v_{m}\psi (x_{1},\dots ,x_{n},v_{1},\dots ,v_{m})

,

जहां ψ परिमाणक मुक्त है। एक सिद्धांत जो मॉडल-पूर्ण नहीं है, एक मॉडल पूर्णता हो सकती है, जो एक संबंधित मॉडल-पूर्ण सिद्धांत है जो सामान्य रूप से मूल सिद्धांत का विस्तार नहीं है। एक अधिक सामान्य धारणा एक आदर्श साथी की है।^[15]

न्यूनतमता

हर संरचना में, हर परिमित सबसमुच्चय $\{a_{1},\dots ,a_{n}\}$ मापदंडों के साथ परिभाषित किया जा सकता है: बस सूत्र का उपयोग करें

x=a_{1}\vee \dots \vee x=a_{n}

.

चूँकि हम इस सूत्र को नकार सकते हैं, प्रत्येक सहपरिमित उपसमुच्चय (जिसमें प्रान्त के सभी लेकिन परिमित रूप से कई तत्व सम्मिलित हैं) भी सदैव परिभाष्य होता है।

यह एक न्यूनतम संरचना की अवधारणा की ओर जाता है। संरचना ${\mathcal {M}}$ न्यूनतम कहा जाता है यदि प्रत्येक उपसमुच्चय $A\subseteq {\mathcal {M}}$ से मापदंडों के साथ निश्चित ${\mathcal {M}}$ परिमित या सांत है। सिद्धांतों के स्तर पर संबंधित अवधारणा को मजबूत न्यूनता कहा जाता है: एक सिद्धांत टी को अत्यधिक न्यूनतम सिद्धांत कहा जाता है यदि टी का प्रत्येक मॉडल न्यूनतम है। एक संरचना को दृढ़ता से न्यूनतम कहा जाता है यदि उस संरचना का सिद्धांत दृढ़ता से न्यूनतम हो। समतुल्य रूप से, यदि प्रत्येक प्राथमिक विस्तार न्यूनतम है तो एक संरचना दृढ़ता से न्यूनतम है। चूंकि बीजगणितीय रूप से बंद क्षेत्रों के सिद्धांत में क्वांटिफायर उन्मूलन होता है, बीजगणितीय रूप से बंद फ़ील्ड के प्रत्येक निश्चित उपसमुच्चय को एक चर में क्वांटिफायर-मुक्त सूत्र द्वारा निश्चित किया जाता है। एक चर में क्वांटिफायर-मुक्त सूत्र एक चर में बहुपद समीकरणों के बूलियन संयोजनों को व्यक्त करते हैं, और चूंकि एक चर में एक गैर-तुच्छ बहुपद समीकरण में केवल एक सीमित संख्या में समाधान होते हैं, बीजगणितीय रूप से बंद क्षेत्रों का सिद्धांत दृढ़ता से न्यूनतम है।^[16] दूसरी ओर, मैदान $\mathbb {R}$ वास्तविक संख्या न्यूनतम नहीं है: उदाहरण के लिए, निश्चित समुच्चय पर विचार करें

\varphi (x)\;=\;\exists y(y\times y=x)

.

यह गैर-ऋणात्मक वास्तविक संख्याओं के उपसमुच्चय को परिभाषित करता है, जो न तो परिमित है और न ही सहपरिमित। कोई वास्तव में उपयोग कर सकता है $\varphi$ वास्तविक संख्या रेखा पर मनमाने अंतराल को परिभाषित करने के लिए। यह पता चला है कि ये प्रत्येक निश्चित उपसमुच्चय का प्रतिनिधित्व करने के लिए पर्याप्त हैं $\mathbb {R}$ .^[17] आदेशित संरचनाओं के मॉडल सिद्धांत में न्यूनतमता का यह सामान्यीकरण बहुत उपयोगी रहा है। एक सघन रेखीय क्रम संरचना ${\mathcal {M}}$ आदेश संबंध के लिए एक प्रतीक सहित एक हस्ताक्षर में प्रत्येक उपसमुच्चय का न्यूनतम कहा जाता है $A\subseteq {\mathcal {M}}$ से मापदंडों के साथ निश्चित ${\mathcal {M}}$ अंक और अंतराल का एक परिमित संघ है।^[18]

परिभाषित करने योग्य और व्याख्या करने योग्य संरचनाएं

विशेष रूप से महत्वपूर्ण वे निश्चित समुच्चय हैं जो सबस्ट्रक्चर भी हैं, i। इ। सभी स्थिरांक सम्मिलित हैं और फलन एप्लिकेशन के अंतर्गत बंद हैं। उदाहरण के लिए, कोई एक निश्चित समूह के निश्चित उपसमूहों का अध्ययन कर सकता है। हालांकि, एक ही हस्ताक्षर में खुद को सबस्ट्रक्चर तक सीमित रखने की जरूरत नहीं है। चूंकि n मुक्त चर वाले सूत्र सबसमुच्चय को परिभाषित करते हैं ${\mathcal {M}}^{n}$ , n-ary संबंध भी निश्चित हो सकते हैं। यदि फलन ग्राफ़ एक निश्चित संबंध और स्थिरांक है, तो फ़ंक्शंस निश्चित हैं $a\in {\mathcal {M}}$ यदि कोई सूत्र है तो निश्चित हैं $\varphi (x)$ जैसे कि a एकमात्र तत्व है ${\mathcal {M}}$ ऐसा है कि $\varphi (a)$ क्या सच है। इस तरह, कोई सामान्य संरचनाओं में निश्चित समूहों और क्षेत्रों का अध्ययन कर सकता है, उदाहरण के लिए, जो ज्यामितीय स्थिरता सिद्धांत में महत्वपूर्ण रहा है।

कोई एक कदम और आगे भी जा सकता है, और तात्कालिक अवसंरचनाओं से आगे बढ़ सकता है। एक गणितीय संरचना को देखते हुए, बहुत बार संबद्ध संरचनाएं होती हैं जिन्हें एक तुल्यता संबंध के माध्यम से मूल संरचना के भाग के भागफल के रूप में निर्मित किया जा सकता है। एक महत्वपूर्ण उदाहरण एक समूह का भागफल समूह है। कोई कह सकता है कि पूरी संरचना को समझने के लिए इन उद्धरणों को समझना चाहिए। जब तुल्यता संबंध निश्चित होता है, तो हम पिछले वाक्य को एक सटीक अर्थ दे सकते हैं। हम कहते हैं कि ये संरचनाएं व्याख्या योग्य हैं। एक महत्वपूर्ण तथ्य यह है कि व्याख्या की गई संरचनाओं की भाषा से मूल संरचना की भाषा में वाक्यों का अनुवाद किया जा सकता है। इस प्रकार कोई दिखा सकता है कि यदि एक संरचना ${\mathcal {M}}$ दूसरे की व्याख्या करता है जिसका सिद्धांत अनिर्णीत है, तब ${\mathcal {M}}$ स्वयं अनिर्णीत है।^[19]

प्रकार

बुनियादी धारणाएं

तत्वों के अनुक्रम के लिए $a_{1},\dots ,a_{n}$ एक संरचना का ${\mathcal {M}}$ और एक उपसमुच्चय ए ${\mathcal {M}}$ , सभी प्रथम-क्रम सूत्रों के समुच्चय पर विचार कर सकते हैं $\varphi (x_{1},\dots ,x_{n})$ a में पैरामीटर के साथ संतुष्ट हैं $a_{1},\dots ,a_{n}$ . इसे पूर्ण (एन-) प्रकार कहा जाता है जिसे द्वारा अनुभव किया जाता है $a_{1},\dots ,a_{n}$ एक से अधिक। अगर का एक ऑटोमोर्फिसम है ${\mathcal {M}}$ वह ए पर स्थिर है और भेजता है $a_{1},\dots ,a_{n}$ को $b_{1},\dots ,b_{n}$ क्रमशः, फिर $a_{1},\dots ,a_{n}$ और $b_{1},\dots ,b_{n}$ ए पर एक ही पूर्ण प्रकार का अनुभव करें।

वास्तविक संख्या रेखा $\mathbb {R}$ , केवल आदेश संबंध {<} के साथ एक संरचना के रूप में देखा गया, इस खंड में एक चालू उदाहरण के रूप में काम करेगा। हर तत्व $a\in \mathbb {R}$ खाली समुच्चय पर समान 1-प्रकार को संतुष्ट करता है। यह स्पष्ट है क्योंकि कोई भी दो वास्तविक संख्याएँ a और b ऑर्डर ऑटोमोर्फिज्म से जुड़ी हैं जो सभी संख्याओं को b-a से बदल देती हैं। संख्याओं की एक जोड़ी द्वारा खाली समुच्चय पर पूरा 2-प्रकार $a_{1},a_{2}$ उनके आदेश पर निर्भर करता है: या तो $a_{1}<a_{2}$ , $a_{1}=a_{2}$ या $a_{2}<a_{1}$ . सबसमुच्चय के ऊपर $\mathbb {Z} \subseteq \mathbb {R}$ पूर्णांकों का, एक गैर-पूर्णांक वास्तविक संख्या का 1-प्रकार a इसके मान पर निर्भर करता है जो निकटतम पूर्णांक तक गोल होता है।

अधिक सामान्यतः, जब भी ${\mathcal {M}}$ एक संरचना है और A का एक उपसमुच्चय है ${\mathcal {M}}$ , ए पर एक (आंशिक) एन-टाइप फॉर्मूला P का एक समुच्चय है जिसमें अधिकतर एन मुक्त चर होते हैं जिन्हें प्राथमिक विस्तार में अनुभव किया जाता है ${\mathcal {N}}$ का ${\mathcal {M}}$ . यदि p में ऐसा प्रत्येक सूत्र या उसका निषेध है, तो p पूर्ण है। ए पर पूर्ण एन-प्रकारों का समुच्चय प्रायः लिखा जाता है $S_{n}^{\mathcal {M}}(A)$ . यदि ए खाली समुच्चय है, तो टाइप स्पेस केवल सिद्धांत पर निर्भर करता है $T$ का ${\mathcal {M}}$ . अंकन $S_{n}(T)$ सामान्यतः संगत खाली समुच्चय पर प्रकारों के समुच्चय के लिए उपयोग किया जाता है $T$ . यदि एक ही सूत्र है $\varphi$ ऐसा है कि का सिद्धांत ${\mathcal {M}}$ तात्पर्य $\varphi \rightarrow \psi$ प्रत्येक सूत्र के लिए $\psi$ P में, तो P को पृथक कहा जाता है।

वास्तविक संख्या के बाद से $\mathbb {R}$ आर्किमिडीयन क्षेत्र हैं, प्रत्येक पूर्णांक से बड़ी कोई वास्तविक संख्या नहीं है। हालांकि, एक कॉम्पैक्टनेस तर्क से पता चलता है कि वास्तविक संख्या रेखा का एक प्राथमिक विस्तार है जिसमें किसी भी पूर्णांक से बड़ा तत्व है। इसलिए, सूत्रों का समुच्चय $\{n<x|n\in \mathbb {Z} \}$ 1 प्रकार का ओवर है $\mathbb {Z} \subseteq \mathbb {R}$ जो वास्तविक संख्या रेखा में अनुभव नहीं होता है $\mathbb {R}$ .

एक उपसमुच्चय ${\mathcal {M}}^{n}$ जिसे ठीक उन्हीं तत्वों के रूप में व्यक्त किया जा सकता है ${\mathcal {M}}^{n}$ A पर एक निश्चित प्रकार को साकार करने को A पर टाइप-डिफ़िनेबल कहा जाता है। एक बीजगणितीय उदाहरण के लिए, मान लीजिए $M$ एक बीजगणितीय रूप से बंद क्षेत्र है। सिद्धांत में क्वांटिफायर एलिमिनेशन है। यह हमें यह दिखाने की अनुमति देता है कि एक प्रकार वास्तव में इसमें सम्मिलित बहुपद समीकरणों द्वारा निर्धारित किया जाता है। इस प्रकार पूर्ण का समुच्चय $n$ -एक सबफ़ील्ड पर टाइप करता है $A$ बहुपद वलय के प्रमुख आदर्शों के समुच्चय के संगत है $A[x_{1},\ldots ,x_{n}]$ , और टाइप-डिफ़िनेबल समुच्चय बिल्कुल एफ़िन किस्में हैं।^[20]

संरचनाएं और प्रकार

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

दूसरी ओर, कोई संरचना हर पैरामीटर समुच्चय पर हर प्रकार का अनुभव नहीं करती है; अगर कोई सब कुछ ले लेता है ${\mathcal {M}}$ पैरामीटर समुच्चय के रूप में, फिर हर 1-टाइप ओवर ${\mathcal {M}}$ में साकार हुआ ${\mathcal {M}}$ a के लिए a = x के सूत्र द्वारा पृथक किया जाता है $a\in {\mathcal {M}}$ . हालाँकि, का कोई भी उचित प्राथमिक विस्तार ${\mathcal {M}}$ इसमें एक ऐसा तत्व है जो अंदर नहीं है ${\mathcal {M}}$ . इसलिए एक कमजोर धारणा पेश की गई है जो एक संरचना के विचार को पकड़ती है जो सभी प्रकारों को साकार करने की उम्मीद कर सकती है। एक संरचना को संतृप्त कहा जाता है अगर यह पैरामीटर समुच्चय पर हर प्रकार का अनुभव करता है $A\subset {\mathcal {M}}$ की तुलना में छोटी कार्डिनैलिटी है ${\mathcal {M}}$ अपने आप।

जबकि ए पर स्थिर एक ऑटोमोर्फिज्म सदैव ए पर प्रकारों को संरक्षित करेगा, यह सामान्यतः सच नहीं है कि कोई भी दो अनुक्रम $a_{1},\dots ,a_{n}$ और $b_{1},\dots ,b_{n}$ ए पर एक ही प्रकार को संतुष्ट करने वाले को इस तरह के ऑटोमोर्फिज्म द्वारा एक दूसरे से मैप किया जा सकता है। संरचना ${\mathcal {M}}$ जिसमें यह आक्षेप सभी ए की तुलना में छोटे कार्डिनैलिटी के लिए है ${\mathcal {M}}$ सजातीय कहा जाता है।

वास्तविक संख्या रेखा उस भाषा में परमाणु होती है जिसमें केवल क्रम होता है $<$ , क्योंकि खाली समुच्चय पर सभी एन-प्रकारों को अनुभव हुआ $a_{1},\dots ,a_{n}$ में $\mathbb {R}$ के बीच के क्रम संबंधों द्वारा अलग-थलग हैं $a_{1},\dots ,a_{n}$ . हालांकि, यह संतृप्त नहीं है, क्योंकि यह गणनीय समुच्चय पर किसी भी 1-प्रकार का अनुभव नहीं करता है $\mathbb {Z}$ इसका अर्थ है x किसी भी पूर्णांक से बड़ा होना। तर्कसंगत संख्या रेखा $\mathbb {Q}$ संतृप्त है, इसके विपरीत, के बाद से $\mathbb {Q}$ स्वयं गणनीय है और इसलिए केवल संतृप्त होने के लिए परिमित उपसमुच्चय पर प्रकारों का अनुभव करना है।^[21]

पत्थर की जगह

के निश्चित उपसमुच्चय का समुच्चय ${\mathcal {M}}^{n}$ कुछ मापदंडों पर $A$ एक बूलियन बीजगणित (संरचना) है। बूलियन बीजगणित के लिए स्टोन के प्रतिनिधित्व प्रमेय के अनुसार एक प्राकृतिक दोहरी स्थलीय स्थान है, जिसमें पूर्ण रूप से पूर्ण होता है $n$ -टाइप ओवर $A$ . फॉर्म के समुच्चय आधार (टोपोलॉजी) बेस (टोपोलॉजी)। $\{p|\varphi \in p\}$ एकल सूत्र के लिए $\varphi$ . इसे A के ऊपर n-टाइप का स्टोन स्पेस कहा जाता है।^[22] यह टोपोलॉजी मॉडल सिद्धांत में उपयोग की जाने वाली कुछ शब्दावली की व्याख्या करती है: कॉम्पैक्टनेस प्रमेय का कहना है कि स्टोन स्पेस एक कॉम्पैक्ट टोपोलॉजिकल स्पेस है, और एक प्रकार पी अलग है अगर और केवल अगर पी स्टोन टोपोलॉजी में एक पृथक बिंदु है।

जबकि बीजगणितीय रूप से बंद क्षेत्रों में प्रकार बहुपद अंगूठी के स्पेक्ट्रम के अनुरूप होते हैं, टाइप स्पेस पर टोपोलॉजी रचनात्मक टोपोलॉजी है: प्रकारों का एक समुच्चय मूल खुला समुच्चय है अगर यह फॉर्म का है $\{p:f(x)=0\in p\}$ या रूप का $\{p:f(x)\neq 0\in p\}$ . यह जरिस्की टोपोलॉजी से बेहतर है।^[23]

निर्माण मॉडल

अनुभव और छोड़ने के प्रकार

ऐसे मॉडलों का निर्माण करना जो कुछ प्रकारों को अनुभव करते हैं और दूसरों को अनुभव नहीं करते हैं, मॉडल सिद्धांत में एक महत्वपूर्ण कार्य है। किसी प्रकार को अनुभव न करने को इसे छोड़ने के रूप में संदर्भित किया जाता है, और सामान्यतः (गणनीय) प्रकार के प्रमेय को छोड़ना संभव है:

होने देना

{\mathcal {T}}

एक गणनीय हस्ताक्षर में एक सिद्धांत हो और चलो

\Phi

खाली समुच्चय पर गैर-पृथक प्रकारों का एक गणनीय समुच्चय हो।

फिर एक मॉडल है

{\mathcal {M}}

का

{\mathcal {T}}

जो हर प्रकार को छोड़ देता है

\Phi

.^[24]

इसका तात्पर्य यह है कि यदि एक गणनीय हस्ताक्षर में एक सिद्धांत केवल खाली समुच्चय पर कई प्रकार के होते हैं, तो इस सिद्धांत का एक परमाणु मॉडल होता है।

दूसरी ओर, सदैव एक प्राथमिक विस्तार होता है जिसमें एक निश्चित पैरामीटर समुच्चय पर किसी भी प्रकार के समुच्चय का अनुभव होता है:

होने देना

{\mathcal {M}}

एक संरचना बनो और चलो

\Phi

किसी दिए गए पैरामीटर समुच्चय पर पूर्ण प्रकार का एक समुच्चय हो

A\subset {\mathcal {M}}.

फिर एक प्रारंभिक विस्तार है

{\mathcal {N}}

का

{\mathcal {M}}

जो हर प्रकार का अनुभव कराता है

\Phi

.^[25]

हालाँकि, चूंकि पैरामीटर समुच्चय तय है और यहाँ कार्डिनैलिटी का कोई उल्लेख नहीं है ${\mathcal {N}}$ , इसका अर्थ यह नहीं है कि प्रत्येक सिद्धांत का एक संतृप्त मॉडल होता है। वास्तव में, प्रत्येक सिद्धांत में एक संतृप्त मॉडल है या नहीं, समुच्चय सिद्धांत के ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों से स्वतंत्र है, और यह सच है अगर सामान्यीकृत सातत्य परिकल्पना है।^[26]

अल्ट्राप्रोडक्ट

अल्ट्राप्रोडक्ट्स का उपयोग उन मॉडलों के निर्माण के लिए एक सामान्य तकनीक के रूप में किया जाता है जो कुछ प्रकार का अनुभव करते हैं। एक इंडेक्स समुच्चय I पर संरचनाओं के एक समुच्चय के प्रत्यक्ष उत्पाद से एक अल्ट्राप्रोडक्ट उन टुपल्स की पहचान करके प्राप्त किया जाता है जो लगभग सभी प्रविष्टियों पर सहमत होते हैं, जहां लगभग सभी को एक अल्ट्राफिल्टर (समुच्चय सिद्धांत) यू द्वारा I पर सटीक बनाया जाता है। प्रतियों का एक अल्ट्राप्रोडक्ट एक ही संरचना के एक पराशक्ति के रूप में जाना जाता है। मॉडल सिद्धांत में अल्ट्राप्रोडक्ट्स का उपयोग करने की कुंजी Łoś की प्रमेय है:

होने देना

{\mathcal {M}}_{i}

का एक समुच्चय हो

\sigma

-संरचनाओं को इंडेक्स समुच्चय I और U द्वारा I पर एक अल्ट्राफिल्टर द्वारा अनुक्रमित किया जाता है। फिर कोई

\sigma

-सूत्र

\varphi ([(a_{i})_{i\in :I}])

के अल्ट्राप्रोडक्ट में सत्य है

{\mathcal {M}}_{i}

द्वारा

U

अगर सभी का समुच्चय

i\in I

जिसके लिए

{\mathcal {M}}_{i}\models \varphi (a_{i})

U में है।^[27]

विशेष रूप से, किसी सिद्धांत के मॉडल का कोई भी अल्ट्राप्रोडक्ट स्वयं उस सिद्धांत का एक मॉडल है, और इस प्रकार यदि दो मॉडलों में आइसोमोर्फिक अल्ट्रापॉवर हैं, तो वे प्राथमिक रूप से समतुल्य हैं। कीस्लर-शेला प्रमेय एक विलोम प्रदान करता है:

अगर

{\mathcal {M}}

और

{\mathcal {N}}

प्राथमिक समतुल्य हैं, तो I पर एक समुच्चय I और एक अल्ट्राफिल्टर U है जैसे कि U द्वारा अल्ट्रापॉवर

{\mathcal {M}}

और :

{\mathcal {N}}

आइसोमोर्फिक हैं।^[28]

इसलिए, अल्ट्राप्रोडक्ट्स प्राथमिक तुल्यता के बारे में बात करने का एक तरीका प्रदान करते हैं जो पहले-क्रम के सिद्धांतों का उल्लेख करने से बचता है। मॉडल सिद्धांत के मूल प्रमेय जैसे कॉम्पैक्टनेस प्रमेय में अल्ट्राप्रोडक्ट्स का उपयोग करके वैकल्पिक प्रमाण हैं,^[29] और यदि वे मौजूद हैं तो उनका उपयोग संतृप्त प्राथमिक विस्तार के निर्माण के लिए किया जा सकता है।^[30]

श्रेणी

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

हालांकि, बुनियादी संख्या के लिए κ-श्रेणी की कमजोर धारणा मॉडल सिद्धांत में एक महत्वपूर्ण अवधारणा बन गई है। एक सिद्धांत T को κ-श्रेणीबद्ध कहा जाता है यदि T के कोई भी दो मॉडल जो कार्डिनैलिटी κ के हैं, आइसोमोर्फिक हैं। यह पता चला है कि κ-श्रेणी का प्रश्न गंभीर रूप से इस बात पर निर्भर करता है कि क्या κ भाषा की प्रमुखता से बड़ा है (अर्थात $\aleph _{0}$ + |σ|, जहां |σ| हस्ताक्षर की प्रमुखता है)। परिमित या गणनीय हस्ताक्षरों के लिए इसका मतलब है कि बीच में एक मूलभूत अंतर है $\omega$ -कार्डिनैलिटी और κ-कार्डिनैलिटी बेशुमार κ के लिए।

ω-वर्गीकरण

ओमेगा-श्रेणीबद्ध सिद्धांत | $\omega$ श्रेणीबद्ध सिद्धांतों को उनके प्रकार के स्थान के गुणों द्वारा चित्रित किया जा सकता है:

पूर्ण प्रथम-क्रम सिद्धांत T के लिए एक परिमित या गणनीय हस्ताक्षर में निम्नलिखित शर्तें समतुल्य हैं:

टी है $\omega$ -श्रेणीबद्ध।

# एस में हर प्रकार_n(टी) पृथक है।

# प्रत्येक प्राकृतिक संख्या n के लिए, S_n(टी) सीमित है।

# प्रत्येक प्राकृतिक संख्या n के लिए, सूत्रों की संख्या φ(x₁, ..., एक्स_n) n मुक्त चरों में, तुल्यता सापेक्ष T तक, परिमित है।

का सिद्धांत $(\mathbb {Q} ,<)$ का सिद्धांत भी है $(\mathbb {R} ,<)$ , है $\omega$ -श्रेणीबद्ध, हर एन-प्रकार के रूप में $p(x_{1},\dots ,x_{n})$ खाली समुच्चय के बीच जोड़ीदार क्रम संबंध द्वारा अलग किया जाता है $x_{i}$ . इसका अर्थ है कि प्रत्येक गणनीय सघन रेखीय क्रम परिमेय संख्या रेखा के लिए क्रम-समरूपी है। दूसरी ओर, के सिद्धांत $\mathbb {Q}$ , $\mathbb {R}$ और $\mathbb {C}$ जैसे फ़ील्ड नहीं हैं $\omega$ -श्रेणीबद्ध। यह इस तथ्य से अनुसरण करता है कि उन सभी क्षेत्रों में, असीम रूप से कई प्राकृतिक संख्याओं में से किसी को भी सूत्र के रूप में परिभाषित किया जा सकता है $x=1+\dots +1$ .

$\aleph _{0}$ -श्रेणीबद्ध सिद्धांत और उनके गणनीय मॉडल भी ओलिगोमोर्फिक समूहों के साथ मजबूत संबंध रखते हैं:

एक परिमित या गणनीय हस्ताक्षर में एक पूर्ण प्रथम-क्रम सिद्धांत टी है

\omega

-श्रेणीबद्ध अगर और केवल अगर इसका ऑटोमोर्फिज्म समूह ओलिगोमोर्फिक है।

इरविन एंगेलर, चेस्लॉ रायल-नर्डज़वेस्की | रायल-नर्डज़वेस्की और लार्स स्वेनोनियस के स्वतंत्र रूप से होने के कारण इस उपखंड के समतुल्य लक्षण वर्णन को कभी-कभी राइल-नर्डज़वेस्की प्रमेय के रूप में संदर्भित किया जाता है।

संयोजी हस्ताक्षरों में, का एक सामान्य स्रोत $\omega$ -श्रेणीबद्ध सिद्धांत Fraïssé सीमाएँ हैं, जिन्हें परिमित संबंधपरक संरचनाओं के एक वर्ग के सभी संभावित विन्यासों को समामेलित करने की सीमा के रूप में प्राप्त किया जाता है।

बेशुमार श्रेणीबद्धता

माइकल डी. मॉर्ले ने 1963 में दिखाया कि गणनीय भाषाओं में सिद्धांतों के लिए बेशुमार श्रेणीबद्धता की केवल एक धारणा है।^[31]

मॉर्ले की श्रेणीबद्धता प्रमेय

यदि किसी परिमित या गणनीय हस्ताक्षर में प्रथम-क्रम सिद्धांत T कुछ बेशुमार कार्डिनल κ के लिए κ-श्रेणी है, तो T सभी बेशुमार कार्डिनल κ के लिए κ-श्रेणीबद्ध है।

मॉर्ले के प्रमाण ने बेशुमार श्रेणीबद्धता और मॉडलों की आंतरिक संरचना के बीच गहरे संबंध प्रकट किए, जो वर्गीकरण सिद्धांत और स्थिरता सिद्धांत का प्रारंभिक बिंदु बन गया। बेशुमार स्पष्ट सिद्धांत कई दृष्टिकोणों से सबसे अच्छे व्यवहार वाले सिद्धांत हैं। विशेष रूप से, पूर्ण दृढ़ता से न्यूनतम सिद्धांत बेशुमार श्रेणीबद्ध हैं। इससे पता चलता है कि किसी दिए गए विशेषता के बीजगणितीय रूप से बंद क्षेत्रों का सिद्धांत बेशुमार श्रेणीबद्ध है, इसके आइसोमोर्फिज्म प्रकार को निर्धारित करने वाले क्षेत्र की पारगमन डिग्री के साथ।

एक सिद्धांत जो दोनों है $\omega$ -श्रेणीबद्ध और बेशुमार श्रेणीबद्ध को पूरी तरह से श्रेणीबद्ध कहा जाता है।

स्थिरता सिद्धांत

प्रथम-क्रम सिद्धांत के मॉडल के वर्ग की संरचना में एक महत्वपूर्ण कारक स्थिरता पदानुक्रम में इसका स्थान है।

एक पूर्ण सिद्धांत टी कहा जाता है

\lambda

-एक कार्डिनल के लिए स्थिर

\lambda

अगर किसी मॉडल के लिए

{\mathcal {M}}

टी और किसी भी पैरामीटर समुच्चय का

A\subset {\mathcal {M}}

की : कार्डिनैलिटी से अधिक नहीं

\lambda

, अधिक से अधिक हैं

\lambda

ए पर पूर्ण टी-प्रकार।

एक सिद्धांत को स्थिर कहा जाता है यदि यह है $\lambda$ कुछ अनंत कार्डिनल के लिए स्थिर $\lambda$ . परंपरागत रूप से, सिद्धांत हैं $\aleph _{0}$ -स्थिर कहलाते हैं $\omega$ -स्थिर।^[32]

स्थिरता पदानुक्रम

स्थिरता सिद्धांत में एक मौलिक परिणाम स्थिरता स्पेक्ट्रम है,^[33] जिसका अर्थ है कि एक गणनीय हस्ताक्षर में प्रत्येक पूर्ण सिद्धांत टी निम्नलिखित वर्गों में से एक में आता है:

कोई कार्डिनल नहीं हैं $\lambda$ ऐसा है कि टी है $\lambda$ -स्थिर।
टी है $\lambda$ -स्थिर अगर और केवल अगर $\lambda ^{\aleph _{0}}=\lambda$ (स्पष्टीकरण के लिए कार्डिनल घातांक देखें $\lambda ^{\aleph _{0}}$ ).
टी है $\lambda$ -किसी के लिए स्थिर $\lambda \geq 2^{\aleph _{0}}$ (कहाँ $2^{\aleph _{0}}$ सातत्य (समुच्चय सिद्धांत) की प्रमुखता है)।

पहले प्रकार के सिद्धांत को अस्थिर कहा जाता है, दूसरे प्रकार के सिद्धांत को सख्ती से स्थिर कहा जाता है और तीसरे प्रकार के सिद्धांत को सुपरस्टेबल कहा जाता है। इसके अलावा, यदि कोई सिद्धांत है $\omega$ -स्थिर, यह हर अनंत कार्डिनल में स्थिर है,^[34] इसलिए $\omega$ -स्थिरता अंधविश्वास से अधिक मजबूत है।

स्थिर सिद्धांतों तक सीमित होने पर मॉडल सिद्धांत में कई निर्माण आसान होते हैं; उदाहरण के लिए, एक स्थिर सिद्धांत के प्रत्येक मॉडल में एक संतृप्त प्राथमिक विस्तार होता है, भले ही सामान्यीकृत सातत्य परिकल्पना सत्य हो या नहीं।^[35] स्थिर सिद्धांतों का अध्ययन करने के लिए शेला की मूल प्रेरणा यह तय करना था कि एक गणनीय सिद्धांत में किसी भी बेशुमार कार्डिनैलिटी के कितने मॉडल हैं।^[36] यदि कोई सिद्धांत बेशुमार श्रेणीबद्ध है, तो यह है $\omega$ -स्थिर। अधिक सामान्यतः, एक सिद्धांत के स्पेक्ट्रम का तात्पर्य है कि यदि कोई बेशुमार कार्डिनल है $\lambda$ ऐसा है कि एक सिद्धांत टी से कम है $2^{\lambda }$ कार्डिनैलिटी के मॉडल $\lambda$ , तो T सुपरस्टेबल है।

ज्यामितीय स्थिरता सिद्धांत

सिद्धांत के एक मॉडल के भीतर निश्चित समुच्चयों की ज्यामिति का विश्लेषण करने के लिए स्थिरता पदानुक्रम भी महत्वपूर्ण है। में $\omega$ -स्थिर सिद्धांत, मॉर्ले रैंक एक मॉडल के भीतर निश्चित समुच्चय एस के लिए एक महत्वपूर्ण आयाम धारणा है। इसे ट्रांसफिनिट इंडक्शन द्वारा परिभाषित किया गया है:

मॉर्ली रैंक कम से कम 0 है यदि एस खाली नहीं है।
α एक उत्तराधिकारी क्रमसूचक के लिए, मॉर्ले रैंक कम से कम α है यदि M के कुछ प्राथमिक विस्तार N में, समुच्चय S में असीम रूप से कई अलग-अलग निश्चित उपसमुच्चय हैं, प्रत्येक रैंक कम से कम α − 1 है।
α के लिए एक गैर-शून्य सीमा क्रमसूचक, मॉर्ले रैंक कम से कम α है यदि यह α से कम सभी β के लिए कम से कम β है।

एक सिद्धांत टी जिसमें प्रत्येक परिभाषित समुच्चय में अच्छी तरह से परिभाषित मॉर्ले रैंक है, को पूरी तरह से पारलौकिक कहा जाता है; यदि T गणनीय है, तो T पूरी तरह से पारलौकिक है यदि और केवल यदि T है $\omega$ -स्थिर। मॉर्ले रैंक को टाइप में फॉर्मूले के मॉर्ले रैंक के न्यूनतम होने के लिए एक प्रकार के मॉर्ले रैंक को समुच्चय करके प्रकारों तक बढ़ाया जा सकता है। इस प्रकार, एक पैरामीटर समुच्चय ए पर एक तत्व के मॉर्ले रैंक के बारे में भी बात कर सकता है, जिसे ओवर ए के प्रकार के मॉर्ले रैंक के रूप में परिभाषित किया गया है। मॉर्ले रैंक के अनुरूप भी हैं जो अच्छी तरह से परिभाषित हैं अगर और केवल अगर कोई सिद्धांत सुपरस्टेबल (यू-रैंक) या केवल स्थिर है (शेला का) $\infty$ -पद)। उन आयाम धारणाओं का उपयोग स्वतंत्रता और सामान्य विस्तार की धारणाओं को परिभाषित करने के लिए किया जा सकता है।

हाल ही में, स्थिरता को सादगी में विघटित कर दिया गया है न कि स्वतंत्रता संपत्ति (एनआईपी) में। सरल सिद्धांत वे सिद्धांत हैं जिनमें स्वतंत्रता की एक अच्छी तरह से व्यवहार की गई धारणा को परिभाषित किया जा सकता है, जबकि एनआईपी (मॉडल सिद्धांत) ओ-न्यूनतम संरचनाओं को सामान्य करता है। वे स्थिरता से संबंधित हैं क्योंकि एक सिद्धांत स्थिर है अगर और केवल अगर यह एनआईपी और सरल है,^[37] और इन वर्गों में से एक में स्थिरता सिद्धांत के विभिन्न पहलुओं को सिद्धांतों के लिए सामान्यीकृत किया गया है।

गैर-प्राथमिक मॉडल सिद्धांत

मॉडल-सैद्धांतिक परिणामों को प्राथमिक कक्षाओं से परे सामान्यीकृत किया गया है, अर्थात, प्रथम-क्रम सिद्धांत द्वारा अभिगृहीत वर्ग।

उच्च-क्रम तर्कशास्त्र या असीमित तर्कशास्त्र में मॉडल सिद्धांत इस तथ्य से बाधित है कि गोडेल की पूर्णता प्रमेय और कॉम्पैक्टनेस प्रमेय इन तर्कों के लिए सामान्य रूप से पकड़ में नहीं आते हैं। यह लिंडस्ट्रॉम के प्रमेय द्वारा ठोस बनाया गया है, मोटे तौर पर यह बताते हुए कि प्रथम-क्रम तर्क अनिवार्य रूप से सबसे मजबूत तर्क है जिसमें लोवेनहेम-स्कोलेम प्रमेय और कॉम्पैक्टनेस दोनों हैं। हालाँकि, इन लॉजिक्स के लिए भी मॉडल थ्योरिटिक तकनीकों को बड़े पैमाने पर विकसित किया गया है।^[38] हालाँकि, यह पता चला है कि अधिक अभिव्यंजक तार्किक भाषाओं का अधिकांश मॉडल ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत से स्वतंत्र है।^[39] हाल ही में, स्थिर और श्रेणीबद्ध सिद्धांतों को पूरा करने के लिए फोकस में बदलाव के साथ-साथ, एक तार्किक सिद्धांत द्वारा स्वयंसिद्ध के बजाय सिमेंटिक रूप से परिभाषित मॉडलों के वर्गों पर काम किया गया है। एक उदाहरण सजातीय मॉडल सिद्धांत है, जो मनमाने ढंग से बड़े सजातीय मॉडल के अवसंरचना के वर्ग का अध्ययन करता है। स्थिरता सिद्धांत और ज्यामितीय स्थिरता सिद्धांत के मौलिक परिणाम इस समुच्चयिंग का सामान्यीकरण करते हैं।^[40] दृढ़ता से न्यूनतम सिद्धांतों के सामान्यीकरण के रूप में, क्वासिमिनिमल उत्कृष्टता वर्ग वे होते हैं जिनमें प्रत्येक निश्चित समुच्चय या तो गणनीय या सह-गणनीय होता है। वे जटिल घातीय कार्य के मॉडल सिद्धांत के लिए महत्वपूर्ण हैं।^[41] सबसे सामान्य सिमेंटिक फ्रेमवर्क जिसमें स्थिरता का अध्ययन किया जाता है, अमूर्त प्राथमिक वर्ग हैं, जो कि एक प्राथमिक सबस्ट्रक्चर के सामान्यीकरण के एक मजबूत सबस्ट्रक्चर रिलेशन द्वारा परिभाषित होते हैं। भले ही इसकी परिभाषा विशुद्ध रूप से शब्दार्थ है, प्रत्येक अमूर्त प्राथमिक वर्ग को प्रथम-क्रम के सिद्धांत के मॉडल के रूप में प्रस्तुत किया जा सकता है जो कुछ प्रकारों को छोड़ देता है। सार प्राथमिक कक्षाओं के लिए स्थिरता-सैद्धांतिक धारणाओं का सामान्यीकरण एक सतत शोध कार्यक्रम है।^[42]

चयनित अनुप्रयोग

मॉडल सिद्धांत की प्रारम्भिक सफलताओं में विभिन्न बीजगणितीय रूप से दिलचस्प वर्गों के लिए क्वांटिफायर एलिमिनेशन के टार्स्की के प्रमाण हैं, जैसे वास्तविक बंद क्षेत्र, बूलियन बीजगणित (संरचना) और किसी दिए गए विशेषता (बीजगणित) के बीजगणितीय रूप से बंद क्षेत्र। क्वांटिफायर एलिमिनेशन ने टार्स्की को यह दिखाने की अनुमति दी कि वास्तविक-बंद और बीजीय रूप से बंद क्षेत्रों के पहले-क्रम के सिद्धांत और साथ ही बूलियन बीजगणित के पहले-क्रम के सिद्धांत निर्णायक हैं, बूलियन बीजगणित को प्राथमिक तुल्यता तक वर्गीकृत करते हैं और दिखाते हैं कि वास्तविक के सिद्धांत- बंद क्षेत्र और किसी दिए गए विशेषता के बीजगणितीय रूप से बंद क्षेत्र अद्वितीय हैं। इसके अलावा, क्वांटिफायर एलिमिनेशन ने बीजगणितीय रूप से बंद क्षेत्रों पर बीजगणितीय किस्मों के रूप में और अर्ध-बीजगणितीय समुच्चयों के रूप में वास्तविक-बंद क्षेत्रों पर परिभाषित संबंधों का एक सटीक विवरण प्रदान किया। ^[43]^[44] 1960 के दशक में, अल्ट्राप्रोडक्ट निर्माण की शुरूआत ने बीजगणित में नए अनुप्रयोगों को जन्म दिया। इसमें जेम्स एक्स | एक्स का छद्म क्षेत्रों पर काम सम्मिलित है, यह प्रमाणित करते हुए कि परिमित क्षेत्रों का सिद्धांत निर्णायक है,^[45] और एक्स और साइमन बी. कोचेन | डायोफैंटाइन समीकरणों पर आर्टिन के अनुमान के विशेष मामले के रूप में कोचेन का प्रमाण, एक्स-कोचेन प्रमेय।^[46] अल्ट्राप्रॉडक्ट निर्माण ने अब्राहम रॉबिन्सन के गैर-मानक विश्लेषण के विकास का भी नेतृत्व किया, जिसका उद्देश्य infinimals की एक कठोर गणना प्रदान करना है।^[47] अभी हाल ही में, निश्चित समुच्चयों की स्थिरता और ज्यामिति के बीच संबंध ने बीजगणितीय और डायोफैंटाइन ज्यामिति से कई अनुप्रयोगों को जन्म दिया, जिसमें एहुद ख्रुशोव्स्की का 1996 का सभी विशेषताओं में ज्यामितीय मोर्डेल-लैंग अनुमान का प्रमाण सम्मिलित है।^[48] 2001 में, मैनिन-ममफोर्ड अनुमान के सामान्यीकरण को प्रमाणित करने के लिए इसी तरह के तरीकों का इस्तेमाल किया गया था। 2011 में, जोनाथन पिला ने मॉड्यूलर घटता के उत्पादों के लिए आंद्रे-ऊर्ट अनुमान को प्रमाणित करने के लिए ओ-न्यूनता के आसपास तकनीकों को लागू किया।^[49] पूछताछ की एक अलग कड़ी में, जो स्थिर सिद्धांतों के इर्द-गिर्द भी विकसित हुई, लस्कॉस्की ने 1992 में दिखाया कि एनआईपी (मॉडल सिद्धांत) सटीक रूप से उन परिभाषित वर्गों का वर्णन करता है जो मशीन लर्निंग सिद्धांत में संभवतः लगभग सही लर्निंग|पीएसी-सीखने योग्य हैं। इससे इन अलग-अलग क्षेत्रों के बीच कई संपर्क हुए हैं। 2018 में, पत्राचार को बढ़ाया गया क्योंकि हंटर और चेज़ ने दिखाया कि स्थिर सिद्धांत ऑनलाइन मशीन लर्निंग के अनुरूप हैं।^[50]

इतिहास

एक विषय के रूप में मॉडल सिद्धांत लगभग 20वीं शताब्दी के मध्य से अस्तित्व में है, और यह नाम 1954 में Lwów-Warsaw स्कूल के एक सदस्य अल्फ्रेड टार्स्की द्वारा गढ़ा गया था।^[51] हालाँकि, पहले के कुछ शोध, विशेष रूप से गणितीय तर्क में, प्रायः रेट्रोस्पेक्ट में एक मॉडल-सैद्धांतिक प्रकृति के होने के रूप में माने जाते हैं।^[52] अब जो मॉडल सिद्धांत है उसमें पहला महत्वपूर्ण परिणाम डाउनवर्ड लोवेनहेम-स्कोलेम प्रमेय का एक विशेष मामला था, जिसे 1915 में लियोपोल्ड लोवेनहेम द्वारा प्रकाशित किया गया था। कॉम्पैक्टनेस प्रमेय थोराल्फ़ स्कोलेम द्वारा काम में निहित था,^[53] लेकिन इसे पहली बार 1930 में कर्ट गोडेल के अपने गोडेल की पूर्णता प्रमेय के प्रमाण में एक लेम्मा के रूप में प्रकाशित किया गया था। लोवेनहाइम-स्कोलेम प्रमेय और कॉम्पैक्टनेस प्रमेय ने 1936 और 1941 में अनातोली माल्टसेव से अपने संबंधित सामान्य रूप प्राप्त किए। एक स्वतंत्र अनुशासन के रूप में मॉडल सिद्धांत का विकास इंटरवार अवधि के दौरान अल्फ्रेड टार्स्की द्वारा लाया गया था। तर्स्की के काम में अन्य विषयों के अलावा तार्किक परिणाम, निगमनात्मक प्रणाली, तर्क का बीजगणित, निश्चितता का सिद्धांत और सत्य का सिमेंटिक सिद्धांत सम्मिलित हैं। उनके सिमेंटिक तरीके 1950 और 60 के दशक में उनके और उनके कैलिफोर्निया विश्वविद्यालय, बर्कले के छात्रों द्वारा विकसित किए गए मॉडल सिद्धांत में परिणत हुए।

अनुशासन के आगे के इतिहास में, विभिन्न किस्में उभरने लगीं और विषय का ध्यान स्थानांतरित हो गया। 1960 के दशक में, अल्ट्राप्रोडक्ट्स के आसपास की तकनीकें मॉडल सिद्धांत में एक लोकप्रिय उपकरण बन गईं।^[54] उसी समय, जेम्स एक्स जैसे शोधकर्ता विभिन्न बीजगणितीय वर्गों के प्रथम-क्रम मॉडल सिद्धांत की जांच कर रहे थे, और अन्य जैसे एच. जेरोम कीस्लर अन्य तार्किक प्रणालियों के लिए प्रथम-क्रम मॉडल सिद्धांत की अवधारणाओं और परिणामों का विस्तार कर रहे थे। फिर मॉर्ले की समस्या से प्रेरित होकर, शेला ने स्थिर सिद्धांत विकसित किया। स्थिरता के आसपास उनके काम ने मॉडल सिद्धांत के रंग को बदल दिया, अवधारणाओं की एक पूरी नई श्रेणी को जन्म दिया। इसे प्रतिमान बदलाव के रूप में जाना जाता है ^[55] अगले दशकों में, यह स्पष्ट हो गया कि परिणामी स्थिरता पदानुक्रम उन समुच्चयों की ज्यामिति से निकटता से जुड़ा हुआ है जो उन मॉडलों में निश्चित हैं; इसने उप-अनुशासन को जन्म दिया जिसे अब ज्यामितीय स्थिरता सिद्धांत के रूप में जाना जाता है। ज्यामितीय मॉडल सिद्धांत से एक प्रभावशाली प्रमाण का एक उदाहरण एहूद ह्रुशोव्स्की का मोर्डेल-लैंग अनुमान का प्रमाण है। कार्य क्षेत्रों के लिए मोर्डेल-लैंग अनुमान।^[56]

गणितीय तर्क की संबंधित शाखाओं से संबंध

परिमित मॉडल सिद्धांत

परिमित मॉडल सिद्धांत, जो परिमित संरचनाओं पर ध्यान केंद्रित करता है, अध्ययन की गई समस्याओं और उपयोग की जाने वाली तकनीकों दोनों में अनंत संरचनाओं के अध्ययन से महत्वपूर्ण रूप से भिन्न होता है।^[57] विशेष रूप से, चिरसम्मत मॉडल सिद्धांत के कई केंद्रीय परिणाम जो परिमित संरचनाओं तक सीमित होने पर विफल हो जाते हैं। इसमें कॉम्पैक्टनेस प्रमेय, गोडेल की पूर्णता प्रमेय और प्रथम-क्रम तर्क के लिए अल्ट्रा प्रोडक्ट्स की विधि सम्मिलित है। परिमित और अनंत मॉडल सिद्धांत के इंटरफेस पर एल्गोरिथम या कंप्यूटेबल मॉडल सिद्धांत और शून्य-एक कानून (मॉडल सिद्धांत) का अध्ययन है। 0-1 कानून, जहां संरचनाओं के एक वर्ग के एक सामान्य सिद्धांत के अनंत मॉडल जानकारी प्रदान करते हैं परिमित मॉडल का वितरण^[58] एफएमटी के प्रमुख अनुप्रयोग क्षेत्र वर्णनात्मक जटिलता सिद्धांत, डेटाबेस सिद्धांत और औपचारिक भाषा सिद्धांत हैं।^[59]

समुच्चय सिद्धांत

कोई भी औपचारिक प्रणाली (जो एक गणनीय भाषा में व्यक्त की जाती है), यदि यह सुसंगत है, तो एक गणनीय मॉडल है; इसे स्कोलेम के विरोधाभास के रूप में जाना जाता है, क्योंकि समुच्चय सिद्धांत में ऐसे वाक्य हैं जो बेशुमार समुच्चयों के अस्तित्व की पुष्टि करते हैं और फिर भी ये वाक्य हमारे गणनीय मॉडल में सत्य हैं। विशेष रूप से सातत्य परिकल्पना की स्वतंत्रता के प्रमाण के लिए मॉडल में समुच्चय पर विचार करने की आवश्यकता होती है जो मॉडल के भीतर से देखे जाने पर बेशुमार प्रतीत होते हैं, लेकिन मॉडल के बाहर किसी के लिए गणना योग्य होते हैं।^[60] मॉडल-सैद्धांतिक दृष्टिकोण समुच्चय सिद्धांत में उपयोगी रहा है; उदाहरण के लिए रचनात्मक ब्रह्मांड पर कर्ट गोडेल के काम में, जो पॉल कोहेन (गणितज्ञ) द्वारा विकसित फोर्सिंग (गणित) की विधि के साथ पसंद के स्वयंसिद्ध (फिर से दार्शनिक रूप से दिलचस्प) स्वतंत्रता (गणितीय तर्क) को प्रमाणित करने के लिए दिखाया जा सकता है। और समुच्चय सिद्धांत के अन्य अभिगृहीतों से सातत्य परिकल्पना।^[61] दूसरी दिशा में, ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के भीतर मॉडल सिद्धांत को ही औपचारिक रूप दिया गया है। उदाहरण के लिए, मॉडल सिद्धांत (जैसे कॉम्पैक्टनेस प्रमेय) के मूल सिद्धांतों का विकास पसंद के स्वयंसिद्ध पर निर्भर करता है, और वास्तव में बूलियन प्रधान आदर्श प्रमेय के विकल्प के बिना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के बराबर है।^[62] मॉडल सिद्धांत में अन्य परिणाम मानक ZFC ढांचे से परे समुच्चय-सैद्धांतिक स्वयंसिद्धों पर निर्भर करते हैं। उदाहरण के लिए, यदि सातत्य परिकल्पना धारण करती है तो प्रत्येक गणनीय मॉडल में एक अतिशक्ति होती है जो संतृप्त होती है (अपनी स्वयं की प्रमुखता में)। इसी तरह, यदि सामान्यीकृत सातत्य परिकल्पना धारण करती है तो प्रत्येक मॉडल में एक संतृप्त प्रारंभिक विस्तार होता है। इनमें से कोई भी परिणाम अकेले ZFC में सिद्ध नहीं होता है। अंत में, मॉडल सिद्धांत से उत्पन्न होने वाले कुछ प्रश्न (जैसे अनंत लॉजिक्स के लिए कॉम्पैक्टनेस) को बड़े कार्डिनल स्वयंसिद्धों के समतुल्य दिखाया गया है।^[63]

यह भी देखें

सार मॉडल सिद्धांत
बीजगणितीय सिद्धांत
स्वयंसिद्ध वर्ग
कॉम्पैक्टनेस प्रमेय
वर्णनात्मक जटिलता
प्राथमिक समानता
प्रथम-क्रम के सिद्धांतों की सूची | प्रथम-क्रम के सिद्धांत
हाइपररियल नंबर
संस्थागत मॉडल सिद्धांत
कृपके शब्दार्थ
लोवेनहेम-स्कोलेम प्रमेय
मॉडल-सैद्धांतिक व्याकरण
सबूत सिद्धांत
संतृप्त मॉडल
स्कोलेम सामान्य रूप

↑ Chang and Keisler, p. 1
↑ "Model Theory". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2020.
↑ Dirk van Dalen, (1980; Fifth revision 2013) "Logic and Structure" Springer. (See page 1.)
↑ Chang and Keisler, p. 1
↑ Hodges (1997), p. vii
↑ Marker, p. 34
↑ Marker, p. 45
↑ Barwise and Feferman, p. 43
↑ Marker, p. 19
↑ Marker, p. 71
↑ Marker, p. 72
↑ Marker, p. 85
↑ Doner, John; Hodges, Wilfrid (1988). "Alfred Tarski and Decidable Theories". The Journal of Symbolic Logic. 53 (1): 20. doi:10.2307/2274425. ISSN 0022-4812. JSTOR 2274425.
↑ Marker, p. 45
↑ Marker, p. 106
↑ Marker, p. 208
↑ Marker, p. 97
↑ Hodges (1993), pp. 31, 92
↑ Tarski, Alfred (1953), "I: A General Method in Proofs of Undecidability", Undecidable Theories, Studies in Logic and the Foundations of Mathematics, Elsevier, vol. 13, pp. 1–34, doi:10.1016/s0049-237x(09)70292-7, ISBN 9780444533784, retrieved 2022-01-26
↑ Marker, p. 115-124
↑ Marker, p. 125-155
↑ Hodges (1993), p. 280
↑ Marker, p. 124–125
↑ Hodges (1993), p. 333
↑ Hodges (1993), p. 451
↑ Hodges (1993), 492
↑ Hodges (1993), p. 450
↑ Hodges (1993), p. 452
↑ Bell and Slomson, p. 102
↑ Hodges (1993), p. 492
↑ Morley, Michael (1963). "On theories categorical in uncountable powers". Proceedings of the National Academy of Sciences of the United States of America. 49 (2): 213–216. Bibcode:1963PNAS...49..213M. doi:10.1073/pnas.49.2.213. PMC 299780. PMID 16591050.
↑ Marker, p. 135
↑ Marker, p. 172
↑ Marker, p. 136
↑ Hodges (1993), p. 494
↑ Saharon., Shelah (1990). Classification theory and the number of non-isomorphic models. North-Holland. ISBN 0-444-70260-1. OCLC 800472113.
↑ Wagner, Frank (2011). Simple theories. Springer. doi:10.1007/978-94-017-3002-0. ISBN 978-90-481-5417-3.
↑ Barwise, J. (2016), Barwise, J; Feferman, S (eds.), "Model-Theoretic Logics: Background and Aims", Model-Theoretic Logics, Cambridge: Cambridge University Press, pp. 3–24, doi:10.1017/9781316717158.004, ISBN 9781316717158, retrieved 2022-01-15
↑ Shelah, Saharon (2000). "On what I do not understand and have something to say (model theory)". Fundamenta Mathematicae. 166 (1): 1–82. arXiv:math/9910158. doi:10.4064/fm-166-1-2-1-82. ISSN 0016-2736. S2CID 116922041.
↑ Buechler, Steven; Lessmann, Olivier (2002-10-08). "Simple homogeneous models". Journal of the American Mathematical Society. 16 (1): 91–121. doi:10.1090/s0894-0347-02-00407-1. ISSN 0894-0347. S2CID 12044966.
↑ Marker, David (2016), "Quasiminimal excellence", Lectures on Infinitary Model Theory, Cambridge: Cambridge University Press, pp. 97–112, doi:10.1017/cbo9781316855560.009, ISBN 9781316855560, retrieved 2022-01-23
↑ Baldwin, John (2009-07-24). श्रेणी. University Lecture Series. Vol. 50. Providence, Rhode Island: American Mathematical Society. doi:10.1090/ulect/050. ISBN 9780821848937.
↑ Hodges (1993), p. 68-69
↑ Doner, John; Hodges, Wilfrid (March 1988). "Alfred Tarski and Decidable Theories". The Journal of Symbolic Logic. 53 (1): 20. doi:10.2307/2274425. ISSN 0022-4812. JSTOR 2274425.
↑ Eklof, Paul C. (1977), "Ultraproducts for Algebraists", HANDBOOK OF MATHEMATICAL LOGIC, Studies in Logic and the Foundations of Mathematics, Elsevier, vol. 90, pp. 105–137, doi:10.1016/s0049-237x(08)71099-1, ISBN 9780444863881, retrieved 2022-01-23
↑ Ax, James; Kochen, Simon (1965). "Diophantine Problems Over Local Fields: I.". American Journal of Mathematics. 87pages=605-630.
↑ Cherlin, Greg; Hirschfeld, Joram (1972), "Ultrafilters and Ultraproducts in Non-Standard Analysis", Contributions to Non-Standard Analysis, Studies in Logic and the Foundations of Mathematics, Elsevier, vol. 69, pp. 261–279, doi:10.1016/s0049-237x(08)71563-5, ISBN 9780720420654, retrieved 2022-01-23
↑ Ehud Hrushovski, The Mordell-Lang Conjecture for Function Fields. Journal of the American Mathematical Society 9:3 (1996), pp. 667-690.
↑ Jonathan Pila, Rational points of definable sets and results of André–Oort–Manin–Mumford type, O-minimality and the André–Oort conjecture for Cⁿ. Annals of Mathematics 173:3 (2011), pp. 1779–1840. doi=10.4007/annals.2011.173.3.11
↑ CHASE, HUNTER; FREITAG, JAMES (2019-02-15). "Model Theory and Machine Learning". The Bulletin of Symbolic Logic. 25 (3): 319–332. arXiv:1801.06566. doi:10.1017/bsl.2018.71. ISSN 1079-8986. S2CID 119689419.
↑ Tarski, Alfred (1954). "Contributions to the Theory of Models. I". Indagationes Mathematicae. 57: 572–581. doi:10.1016/S1385-7258(54)50074-0. ISSN 1385-7258.
↑ Wilfrid Hodges (2018-05-24). "Historical Appendix: A short history of model theory". Philosophy and model theory. By Button, Tim; Walsh, Sean. p. 439. doi:10.1093/oso/9780198790396.003.0018.
↑ "All three commentators [i.e. Vaught, van Heijenoort and Dreben] agree that both the completeness and compactness theorems were implicit in Skolem 1923…." [Dawson, J. W. (1993). "The compactness of first-order logic:from Gödel to Lindström". History and Philosophy of Logic. 14: 15–37. doi:10.1080/01445349308837208.]
↑ Hodges (1993), p. 475
↑ Baldwin, John T. (2018-01-19). Model Theory and the Philosophy of Mathematical Practice. Cambridge University Press. doi:10.1017/9781316987216. ISBN 978-1-107-18921-8. S2CID 126311148.
↑ Sacks, Gerald (2003). Mathematical logic in the 20th century. Singapore University Press. doi:10.1142/4800. ISBN 981-256-489-6. OCLC 62715985.
↑ Ebbinghaus, Heinz-Dieter; Flum, Jörg (1995). Finite Model Theory. Perspectives in Mathematical Logic. p. v. doi:10.1007/978-3-662-03182-7. ISBN 978-3-662-03184-1.
↑ Ebbinghaus, Heinz-Dieter; Flum, Jörg (1995). "0-1 Laws". Finite Model Theory. Perspectives in Mathematical Logic. doi:10.1007/978-3-662-03182-7. ISBN 978-3-662-03184-1.
↑ Ebbinghaus, Heinz-Dieter; Flum, Jörg (1995). Finite Model Theory. Perspectives in Mathematical Logic. doi:10.1007/978-3-662-03182-7. ISBN 978-3-662-03184-1.
↑ Kunen, Kenneth (2011). "Models of set theory". Set Theory. College Publications. ISBN 978-1-84890-050-9.
↑ Kunen, Kenneth (2011). Set Theory. College Publications. ISBN 978-1-84890-050-9.
↑ Hodges (1993), p. 272
↑ Baldwin, John T. (2018-01-19). "Model theory and set theory". Model Theory and the Philosophy of Mathematical Practice. Cambridge University Press. doi:10.1017/9781316987216. ISBN 978-1-107-18921-8. S2CID 126311148.

संदर्भ

कैननिकल पाठ्यपुस्तकें

Chang, Chen Chung; Keisler, H. Jerome (1990) [1973]. मॉडल सिद्धांत. Studies in Logic and the Foundations of Mathematics (3rd ed.). Elsevier. ISBN 978-0-444-88054-3.
Hodges, Wilfrid (1997). एक छोटा मॉडल सिद्धांत. Cambridge: Cambridge University Press. ISBN 978-0-521-58713-6.
Kopperman, R. (1972). मॉडल सिद्धांत और इसके अनुप्रयोग. Boston: Allyn and Bacon.
Marker, David (2002). मॉडल थ्योरी: एक परिचय. Graduate Texts in Mathematics 217. Springer. ISBN 0-387-98760-6.

अन्य पाठ्यपुस्तकें

Bell, John L.; Slomson, Alan B. (2006) [1969]. मॉडल और अल्ट्राप्रोडक्ट्स: एक परिचय (reprint of 1974 ed.). Dover Publications. ISBN 0-486-44979-3.
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang (1994). गणितीय तर्क. Springer. ISBN 0-387-94258-0.
Hinman, Peter G. (2005). गणितीय तर्क के मूल तत्व. A K Peters. ISBN 1-56881-262-0.
Hodges, Wilfrid (1993). मॉडल सिद्धांत. Cambridge University Press. ISBN 0-521-30442-3.
Manzano, María (1999). मॉडल सिद्धांत. Oxford University Press. ISBN 0-19-853851-0.
Poizat, Bruno (2000). मॉडल थ्योरी में एक कोर्स. Springer. ISBN 0-387-98655-3.
Rautenberg, Wolfgang (2010). गणितीय तर्क का एक संक्षिप्त परिचय (3rd ed.). New York: Springer Science+Business Media. doi:10.1007/978-1-4419-1221-3. ISBN 978-1-4419-1220-6.
Rothmaler, Philipp (2000). मॉडल थ्योरी का परिचय (new ed.). Taylor & Francis. ISBN 90-5699-313-5.
Tent, Katrin; Ziegler, Martin (2012). मॉडल थ्योरी में एक कोर्स. Cambridge University Press. ISBN 9780521763240.
Kirby, Jonathan (2019). मॉडल थ्योरी के लिए एक निमंत्रण. Cambridge University Press. ISBN 978-1-107-16388-1.

मुफ्त ऑनलाइन पाठ

Chatzidakis, Zoé (2001). मॉडल थ्योरी का परिचय (PDF). pp. 26 pages.
Pillay, Anand (2002). व्याख्यान नोट्स - मॉडल थ्योरी (PDF). pp. 61 pages.
"Model theory", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
विल्फ्रिड हॉजेस | हॉजेस, विलफ्रिड, Model theory। द स्टैनफोर्ड इनसाइक्लोपीडिया ऑफ फिलॉसफी, ई. ज़ाल्टा (एड.)।
विल्फ्रिड हॉजेस | हॉजेस, विल्फ्रिड, फर्स्ट-ऑर्डर मॉडल थ्योरी। द स्टैनफोर्ड इनसाइक्लोपीडिया ऑफ फिलॉसफी, ई. ज़ाल्टा (एड.)।
सीमन्स, हेरोल्ड (2004), अच्छे पुराने का परिचय फैशन मॉडल सिद्धांत। स्नातकोत्तर (अभ्यास के साथ) के लिए एक परिचयात्मक पाठ्यक्रम के नोट्स।
जॉन बारवाइज|जे. बारवाइज और सोलोमन फेफरमैन|एस. फ़ेफ़रमैन (संपादक), मॉडल-थ्योरिटिक लॉजिक, पर्सपेक्टिव्स इन मैथेमेटिकल लॉजिक, वॉल्यूम 8, न्यूयॉर्क: स्प्रिंगर-वर्लाग, 1985।

{{Navbox

| name =गणित के क्षेत्र

|state = autocollapse

| title =अंक शास्त्र | bodyclass = hlist

|above =

| group1 = नींव | list1 =* श्रेणी सिद्धांत

| group2 =बीजगणित | list2 =* सार

| group3 = विश्लेषण | list3 =* पथरी

| group4 = असतत | list4 =* कॉम्बीनेटरिक्स

| group5 =ज्यामिति | list5 =* बीजगणितीय

| group6 =संख्या सिद्धांत | list6 =* अंकगणित

| group7 =टोपोलॉजी | list7 =* सामान्य

| group8 = लागू | list8 =* इंजीनियरिंग गणित

| group9 = कम्प्यूटेशनल | list9 =* कंप्यूटर विज्ञान

| group10 = संबंधित विषय | list10 =* अनौपचारिक गणित

| below =* '

' श्रेणी' '
' कॉमन्स'
[[gikewikipedia: wikiproject matics | wikiproject]

}}

श्रेणी:मॉडल सिद्धांत श्रेणी:गणितीय तर्क

[1] Chang and Keisler, p. 1

[2] "Model Theory". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2020.

[3] Dirk van Dalen, (1980; Fifth revision 2013) "Logic and Structure" Springer. (See page 1.)

[4] Chang and Keisler, p. 1

[5] Hodges (1997), p. vii

[6] Marker, p. 34

[7] Marker, p. 45

[8] Barwise and Feferman, p. 43

[9] Marker, p. 19

[10] Marker, p. 71

[11] Marker, p. 72

[12] Marker, p. 85

[13] Doner, John; Hodges, Wilfrid (1988). "Alfred Tarski and Decidable Theories". The Journal of Symbolic Logic. 53 (1): 20. doi:10.2307/2274425. ISSN 0022-4812. JSTOR 2274425.

[14] Marker, p. 45

[15] Marker, p. 106

[16] Marker, p. 208

[17] Marker, p. 97

[18] Hodges (1993), pp. 31, 92

[19] Tarski, Alfred (1953), "I: A General Method in Proofs of Undecidability", Undecidable Theories, Studies in Logic and the Foundations of Mathematics, Elsevier, vol. 13, pp. 1–34, doi:10.1016/s0049-237x(09)70292-7, ISBN 9780444533784, retrieved 2022-01-26

[20] Marker, p. 115-124

[21] Marker, p. 125-155

[22] Hodges (1993), p. 280

[23] Marker, p. 124–125

[24] Hodges (1993), p. 333

[25] Hodges (1993), p. 451

[26] Hodges (1993), 492

[27] Hodges (1993), p. 450

[28] Hodges (1993), p. 452

[29] Bell and Slomson, p. 102

[30] Hodges (1993), p. 492

[31] Morley, Michael (1963). "On theories categorical in uncountable powers". Proceedings of the National Academy of Sciences of the United States of America. 49 (2): 213–216. Bibcode:1963PNAS...49..213M. doi:10.1073/pnas.49.2.213. PMC 299780. PMID 16591050.

[32] Marker, p. 135

[33] Marker, p. 172

[34] Marker, p. 136

[35] Hodges (1993), p. 494

[36] Saharon., Shelah (1990). Classification theory and the number of non-isomorphic models. North-Holland. ISBN 0-444-70260-1. OCLC 800472113.

[37] Wagner, Frank (2011). Simple theories. Springer. doi:10.1007/978-94-017-3002-0. ISBN 978-90-481-5417-3.

[38] Barwise, J. (2016), Barwise, J; Feferman, S (eds.), "Model-Theoretic Logics: Background and Aims", Model-Theoretic Logics, Cambridge: Cambridge University Press, pp. 3–24, doi:10.1017/9781316717158.004, ISBN 9781316717158, retrieved 2022-01-15

[39] Shelah, Saharon (2000). "On what I do not understand and have something to say (model theory)". Fundamenta Mathematicae. 166 (1): 1–82. arXiv:math/9910158. doi:10.4064/fm-166-1-2-1-82. ISSN 0016-2736. S2CID 116922041.

[40] Buechler, Steven; Lessmann, Olivier (2002-10-08). "Simple homogeneous models". Journal of the American Mathematical Society. 16 (1): 91–121. doi:10.1090/s0894-0347-02-00407-1. ISSN 0894-0347. S2CID 12044966.

[41] Marker, David (2016), "Quasiminimal excellence", Lectures on Infinitary Model Theory, Cambridge: Cambridge University Press, pp. 97–112, doi:10.1017/cbo9781316855560.009, ISBN 9781316855560, retrieved 2022-01-23

[42] Baldwin, John (2009-07-24). श्रेणी. University Lecture Series. Vol. 50. Providence, Rhode Island: American Mathematical Society. doi:10.1090/ulect/050. ISBN 9780821848937.

[43] Hodges (1993), p. 68-69

[44] Doner, John; Hodges, Wilfrid (March 1988). "Alfred Tarski and Decidable Theories". The Journal of Symbolic Logic. 53 (1): 20. doi:10.2307/2274425. ISSN 0022-4812. JSTOR 2274425.

[45] Eklof, Paul C. (1977), "Ultraproducts for Algebraists", HANDBOOK OF MATHEMATICAL LOGIC, Studies in Logic and the Foundations of Mathematics, Elsevier, vol. 90, pp. 105–137, doi:10.1016/s0049-237x(08)71099-1, ISBN 9780444863881, retrieved 2022-01-23

[46] Ax, James; Kochen, Simon (1965). "Diophantine Problems Over Local Fields: I.". American Journal of Mathematics. 87pages=605-630.

[47] Cherlin, Greg; Hirschfeld, Joram (1972), "Ultrafilters and Ultraproducts in Non-Standard Analysis", Contributions to Non-Standard Analysis, Studies in Logic and the Foundations of Mathematics, Elsevier, vol. 69, pp. 261–279, doi:10.1016/s0049-237x(08)71563-5, ISBN 9780720420654, retrieved 2022-01-23

[48] Ehud Hrushovski, The Mordell-Lang Conjecture for Function Fields. Journal of the American Mathematical Society 9:3 (1996), pp. 667-690.

[49] Jonathan Pila, Rational points of definable sets and results of André–Oort–Manin–Mumford type, O-minimality and the André–Oort conjecture for Cⁿ. Annals of Mathematics 173:3 (2011), pp. 1779–1840. doi=10.4007/annals.2011.173.3.11

[50] CHASE, HUNTER; FREITAG, JAMES (2019-02-15). "Model Theory and Machine Learning". The Bulletin of Symbolic Logic. 25 (3): 319–332. arXiv:1801.06566. doi:10.1017/bsl.2018.71. ISSN 1079-8986. S2CID 119689419.

[51] Tarski, Alfred (1954). "Contributions to the Theory of Models. I". Indagationes Mathematicae. 57: 572–581. doi:10.1016/S1385-7258(54)50074-0. ISSN 1385-7258.

[52] Wilfrid Hodges (2018-05-24). "Historical Appendix: A short history of model theory". Philosophy and model theory. By Button, Tim; Walsh, Sean. p. 439. doi:10.1093/oso/9780198790396.003.0018.

[53] "All three commentators [i.e. Vaught, van Heijenoort and Dreben] agree that both the completeness and compactness theorems were implicit in Skolem 1923…." [Dawson, J. W. (1993). "The compactness of first-order logic:from Gödel to Lindström". History and Philosophy of Logic. 14: 15–37. doi:10.1080/01445349308837208.]

[54] Hodges (1993), p. 475

[55] Baldwin, John T. (2018-01-19). Model Theory and the Philosophy of Mathematical Practice. Cambridge University Press. doi:10.1017/9781316987216. ISBN 978-1-107-18921-8. S2CID 126311148.

[56] Sacks, Gerald (2003). Mathematical logic in the 20th century. Singapore University Press. doi:10.1142/4800. ISBN 981-256-489-6. OCLC 62715985.

[57] Ebbinghaus, Heinz-Dieter; Flum, Jörg (1995). Finite Model Theory. Perspectives in Mathematical Logic. p. v. doi:10.1007/978-3-662-03182-7. ISBN 978-3-662-03184-1.

[58] Ebbinghaus, Heinz-Dieter; Flum, Jörg (1995). "0-1 Laws". Finite Model Theory. Perspectives in Mathematical Logic. doi:10.1007/978-3-662-03182-7. ISBN 978-3-662-03184-1.

[59] Ebbinghaus, Heinz-Dieter; Flum, Jörg (1995). Finite Model Theory. Perspectives in Mathematical Logic. doi:10.1007/978-3-662-03182-7. ISBN 978-3-662-03184-1.

[60] Kunen, Kenneth (2011). "Models of set theory". Set Theory. College Publications. ISBN 978-1-84890-050-9.

[61] Kunen, Kenneth (2011). Set Theory. College Publications. ISBN 978-1-84890-050-9.

[62] Hodges (1993), p. 272

[63] Baldwin, John T. (2018-01-19). "Model theory and set theory". Model Theory and the Philosophy of Mathematical Practice. Cambridge University Press. doi:10.1017/9781316987216. ISBN 978-1-107-18921-8. S2CID 126311148.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

[49]

[50]

[51]

[52]

[53]

[54]

[55]

[56]

[57]

[58]

[59]

[60]

[61]

[62]

[63]

@@ Line 1: / Line 1: @@
 {{Short description|Area of mathematical logic}}
-{{About|the mathematical discipline|the informal notion in other parts of mathematics and science|Mathematical model}}
+[[गणितीय तर्क]] में, मॉडल सिद्धांत एक औपचारिक सिद्धांतों [[संरचना (गणितीय तर्क)]] के बारे में प्रमाणों को व्यक्त करने वाली [[औपचारिक भाषा]] में [[सिद्धांत (गणितीय तर्क)]] (वाक्य का एक संग्रह (गणितीय तर्क) और उनके मॉडल (उन संरचनाओं में जिनमें सिद्धांत के प्रमाण होते हैं) के बीच संबंधों का अध्ययन है।<ref>Chang and Keisler, [https://books.google.com/books?id=uiHq0EmaFp0C&pg=PA1 p. 1]</ref> जांच किए गए पहलुओं में एक सिद्धांत के मॉडलों की संख्या और आकार, एक दूसरे के साथ विभिन्न मॉडलों के संबंध और औपचारिक भाषा के साथ उनकी बातचीत सम्मिलित है। विशेष रूप से, मॉडल सिद्धांतकार उन समुच्चयों की भी जांच करते हैं जिन्हें एक सिद्धांत के एक मॉडल में परिभाषित किया जा सकता हैं, और ऐसे [[निश्चित सेट|निश्चित समुच्चय]] का एक दूसरे से संबंध करते हैं।
-[[गणितीय तर्क]] में, मॉडल सिद्धांत एक औपचारिक सिद्धांतों [[संरचना (गणितीय तर्क)]] के बारे में  बयानों को व्यक्त करने वाली [[औपचारिक भाषा]] में [[सिद्धांत (गणितीय तर्क)]] (वाक्य का एक संग्रह (गणितीय तर्क)और उनके मॉडल (उन संरचनाओं में जिनमें सिद्धांत के बयान होते हैं) के बीच संबंधों का अध्ययन है।<ref>Chang and Keisler, [https://books.google.com/books?id=uiHq0EmaFp0C&pg=PA1 p. 1]</ref> जांच किए गए पहलुओं में एक सिद्धांत के मॉडलों की संख्या और आकार, एक दूसरे के साथ विभिन्न मॉडलों के संबंध और औपचारिक भाषा के साथ उनकी बातचीत शामिल है। विशेष रूप से, मॉडल सिद्धांतकार उन सेटों की भी जांच करते हैं जिन्हें एक सिद्धांत के एक मॉडल में परिभाषित किया जा सकता हैं, और ऐसे [[निश्चित सेट]]ों का एक दूसरे से संबंध करते हैं।
-एक अलग अनुशासन के रूप में, मॉडल सिद्धांत वापस [[अल्फ्रेड टार्स्की]] के पास जाता है, जिन्होंने पहली बार 1954 में प्रकाशन में  "मॉडल का सिद्धांत" शब्द का प्रयोग किया था।<ref>{{Cite book|chapter-url=https://plato.stanford.edu/entries/model-theory/|title=The Stanford Encyclopedia of Philosophy|chapter=Model Theory|year=2020|publisher=Metaphysics Research Lab, Stanford University}}</ref>
+एक अलग अनुशासन के रूप में, मॉडल सिद्धांत वापस [[अल्फ्रेड टार्स्की]] के पास जाता है, जिन्होंने पहली बार 1954 में प्रकाशन में "मॉडल का सिद्धांत" शब्द का प्रयोग किया था।<ref>{{Cite book|chapter-url=https://plato.stanford.edu/entries/model-theory/|title=The Stanford Encyclopedia of Philosophy|chapter=Model Theory|year=2020|publisher=Metaphysics Research Lab, Stanford University}}</ref>
 के दशक के बाद से, इस विषय को [[सहारों शेलाह]] के [[स्थिर सिद्धांत]] द्वारा निर्णायक रूप से आकार दिया गया है।
-गणितीय तर्क के अन्य क्षेत्रों जैसे प्रमाण सिद्धांत की तुलना में, मॉडल सिद्धांत अक्सर औपचारिक कठोरता से कम चिंतित होता है और आत्मा में शास्त्रीय गणित के करीब होता है।
+गणितीय तर्क के अन्य क्षेत्रों जैसे प्रमाण सिद्धांत की तुलना में, मॉडल सिद्धांत प्रायः औपचारिक कठोरता से कम चिंतित होता है और आत्मा में चिरसम्मत गणित के करीब होता है।
-इसने टिप्पणी को प्रेरित किया है कि  "यदि [[सबूत सिद्धांत]] पवित्र के बारे में है, तो आदर्श सिद्धांत अपवित्र के बारे में है"।<ref>Dirk van Dalen, (1980; Fifth revision 2013) "Logic and Structure" Springer. ''(See [https://link.springer.com/content/pdf/bfm%3A978-1-4471-4558-5%2F1.pdf page 1.]'')</ref>
-[[बीजगणितीय ज्यामिति]] और [[डायोफैंटाइन ज्यामिति]] के मॉडल सिद्धांत के अनुप्रयोग शास्त्रीय गणित के साथ इस निकटता को दर्शाते हैं, क्योंकि वे अक्सर बीजगणितीय और मॉडल-सैद्धांतिक परिणामों और तकनीकों का एकीकरण शामिल करते हैं।
+इसने टिप्पणी को प्रेरित किया है कि "यदि [[सबूत सिद्धांत|प्रमाण सिद्धांत]] पवित्र के बारे में है, तो आदर्श सिद्धांत अपवित्र के बारे में है"।<ref>Dirk van Dalen, (1980; Fifth revision 2013) "Logic and Structure" Springer. ''(See [https://link.springer.com/content/pdf/bfm%3A978-1-4471-4558-5%2F1.pdf page 1.]'')</ref> [[बीजगणितीय ज्यामिति]] और [[डायोफैंटाइन ज्यामिति]] के मॉडल सिद्धांत के अनुप्रयोग चिरसम्मत गणित के साथ इस निकटता को दर्शाते हैं, क्योंकि वे प्रायः बीजगणितीय और मॉडल-सैद्धांतिक परिणामों और तकनीकों का एकीकरण सम्मिलित करते हैं।
 मॉडल सिद्धांत के क्षेत्र में सबसे प्रमुख विद्वतापूर्ण संगठन [[प्रतीकात्मक तर्क के लिए एसोसिएशन]] है।
-== सिंहावलोकन ==
+== अवलोकन ==
 यह पृष्ठ अनंत संरचनाओं के अंतिम पहले क्रम के [[तर्क]] मॉडल सिद्धांत पर केंद्रित है।
-विषय के इतिहास में उतार-चढ़ाव वाले मॉडल के भीतर निश्चित सेटों के वर्ग के विपरीत एक सिद्धांत के मॉडल के वर्ग पर सापेक्ष जोर दिया गया है, और दो दिशाओं को क्रमशः 1973 और 1997 से सारगर्भित विशेषताओं द्वारा संक्षेपित किया गया है:
+विषय के इतिहास में उतार-चढ़ाव वाले मॉडल के भीतर निश्चित समुच्चयों के वर्ग के विपरीत एक सिद्धांत के मॉडल के वर्ग पर सापेक्ष जोर दिया गया है, और दो दिशाओं को क्रमशः 1973 और 1997 से सारगर्भित विशेषताओं द्वारा संक्षेपित किया गया है:
 : मॉडल सिद्धांत = [[सार्वभौमिक बीजगणित]] + तर्क<ref>Chang and Keisler, [https://books.google.com/books?id=uiHq0EmaFp0C&pg=PA1 p. 1]</ref>
-जहां सार्वभौमिक बीजगणित गणितीय संरचनाओं और तार्किक सिद्धांतों के लिए तर्क के लिए खड़ा है; और
+जहां सार्वभौमिक बीजगणित गणितीय संरचनाओं और तार्किक सिद्धांतों के लिए तर्क के लिए स्थिर है; और
 : मॉडल सिद्धांत = बीजगणितीय ज्यामिति - [[क्षेत्र (गणित)]] एस।
-जहां तार्किक सूत्र परिभाषित करने योग्य हैं, एक क्षेत्र में किस्मों के लिए कौन से समीकरण हैं।<ref>Hodges (1997), p. vii</ref>
+जहां तार्किक सूत्र परिभाषित करने योग्य हैं, एक क्षेत्र में किस्मों के लिए कौन से समीकरण हैं।<ref>Hodges (1997), p. vii</ref> फिर भी, मॉडलों की कक्षाओं और उनमें परिभाषित किए जाने वाले समुच्चयों की परस्पर क्रिया पूरे इतिहास में मॉडल सिद्धांत के विकास के लिए महत्वपूर्ण है। उदाहरण के लिए, जबकि स्थिरता को मूल रूप से किसी दिए गए [[प्रमुखता]] में उनके मॉडलों की संख्या के आधार पर सिद्धांतों को वर्गीकृत करने के लिए पेश किया गया था, स्थिरता सिद्धांत परिभाषित निश्चित समुच्चयों की ज्यामिति को समझने के लिए महत्वपूर्ण प्रमाणित हुआ।
-फिर भी, मॉडलों की कक्षाओं और उनमें परिभाषित किए जाने वाले सेटों की परस्पर क्रिया पूरे इतिहास में मॉडल सिद्धांत के विकास के लिए महत्वपूर्ण है। उदाहरण के लिए, जबकि स्थिरता को मूल रूप से किसी दिए गए  [[प्रमुखता]] में उनके मॉडलों की संख्या के आधार पर सिद्धांतों को वर्गीकृत करने के लिए पेश किया गया था, स्थिरता सिद्धांत परिभाषित निश्चित सेटों की ज्यामिति को समझने के लिए महत्वपूर्ण साबित हुआ।
 == प्रथम-क्रम मॉडल सिद्धांत की मौलिक धारणाएँ ==
 === प्रथम-क्रम तर्क ===
-{{main|First-order logic}}
+{{main|पहले क्रम का तर्क}}
-[[तर्क प्रतीकों की तालिका]] के माध्यम से R(f(x,y),z) या y = x + 1 जैसे [[परमाणु सूत्र]]ों से एक प्रथम-क्रम सूत्र बनाया गया है। <math>\neg,\land,\lor,\rightarrow</math> और परिमाणकों का उपसर्ग <math>\forall v</math> या <math>\exists v</math>. एक वाक्य एक सूत्र है जिसमें एक चर की प्रत्येक घटना संबंधित परिमाणक के दायरे में होती है। सूत्रों के उदाहरण हैं φ (या φ(x) इस तथ्य को चिह्नित करने के लिए कि अधिक से अधिक x φ में एक अनबाउंड चर है) और ψ को निम्नानुसार परिभाषित किया गया है:
+[[तर्क प्रतीकों की तालिका]] के माध्यम से R(f(x,y),z) या y = x + 1 जैसे [[परमाणु सूत्र]] से एक प्रथम-क्रम सूत्र बनाया गया है। <math>\neg,\land,\lor,\rightarrow</math> और परिमाणकों का उपसर्ग <math>\forall v</math> या <math>\exists v</math>. एक वाक्य एक सूत्र है जिसमें एक चर की प्रत्येक घटना संबंधित परिमाणक के दायरे में होती है। सूत्रों के उदाहरण हैं φ (या φ(x) इस तथ्य को चिह्नित करने के लिए कि अधिक से अधिक x φ में एक अनबाउंड चर है) और ψ को निम्नानुसार परिभाषित किया गया है:
 :<math>\begin{array}{lcl} \varphi & = & \forall u\forall v(\exists w (x\times w=u\times v)\rightarrow(\exists w(x\times w=u)\lor\exists w(x\times w=v)))\land x\ne 0\land x\ne1,
 :\\\psi & = & \forall u\forall v((u\times v=x)\rightarrow (u=x)\lor(v=x))\land x\ne 0\land x\ne1. \end{array}</math>
-(ध्यान दें कि समानता के प्रतीक का यहाँ दोहरा अर्थ है।) यह सहज रूप से स्पष्ट है कि ऐसे सूत्रों को गणितीय अर्थ में कैसे अनुवादित किया जाए। σ में<sub>smr</sub>-संरचना में <math>\mathcal N</math>  प्राकृतिक संख्याओं के उदाहरण के लिए, एक तत्व n सूत्र φ को संतुष्ट करता है और केवल यदि n एक अभाज्य संख्या है तो सूत्र ψ समान रूप से इर्रेड्यूसिबल तत्व को परिभाषित करता है।संतुष्टि संबंध के लिए तर्स्की ने एक कठोर परिभाषा दी, जिसे कभी-कभी "तर्स्की की सत्य की परिभाषा (टी-स्कीमा)" भी कहा जाता है <math>\models</math>, ताकि कोई आसानी से साबित कर सके:
+(ध्यान दें कि समानता के प्रतीक का यहाँ दोहरा अर्थ है।) यह सहज रूप से स्पष्ट है कि ऐसे सूत्रों को गणितीय अर्थ में कैसे अनुवादित किया जाए। σ में<sub>smr</sub>- संरचना में <math>\mathcal N</math> प्राकृतिक संख्याओं के उदाहरण के लिए, एक तत्व n सूत्र φ को संतुष्ट करता है और केवल यदि n एक अभाज्य संख्या है तो सूत्र ψ समान रूप से इर्रेड्यूसिबल तत्व को परिभाषित करता है।संतुष्टि संबंध के लिए तर्स्की ने एक कठोर परिभाषा दी, जिसे कभी-कभी "तर्स्की की सत्य की परिभाषा (टी-स्कीमा)" भी कहा जाता है <math>\models</math>, ताकि कोई आसानी से प्रमाणित कर सके:
 :<math>\mathcal N\models\varphi(n) \iff n</math> एक अभाज्य संख्या है।
 :<math>\mathcal N\models\psi(n) \iff n</math> अलघुकरणीय है।
-एक समुच्चय <math>T</math> वाक्यों की संख्या को एक (प्रथम-क्रम) सिद्धांत (गणितीय तर्क) कहा जाता है, जो समुच्चय में वाक्यों को अपने सिद्धांतों के रूप में लेता है। यदि कोई मॉडल है तो एक सिद्धांत संतोषजनक है <math>\mathcal M\models T</math>, यानी एक संरचना (उपयुक्त हस्ताक्षर की) जो सेट में सभी वाक्यों को पूरा करती है <math>T</math>. एक पूर्ण सिद्धांत एक ऐसा सिद्धांत है जिसमें प्रत्येक वाक्य (गणितीय तर्क) या उसका निषेध शामिल है।
+एक समुच्चय <math>T</math> वाक्यों की संख्या को एक (प्रथम-क्रम) सिद्धांत (गणितीय तर्क) कहा जाता है, जो समुच्चय में वाक्यों को अपने सिद्धांतों के रूप में लेता है। यदि कोई मॉडल है तो एक सिद्धांत संतोषजनक है <math>\mathcal M\models T</math>, अर्थात एक संरचना (उपयुक्त हस्ताक्षर की) जो <math>T</math> समुच्चय में सभी वाक्यों को पूरा करती है, एक पूर्ण सिद्धांत एक ऐसा सिद्धांत है जिसमें प्रत्येक वाक्य (गणितीय तर्क) या उसका निषेध सम्मिलित है। किसी संरचना द्वारा संतुष्ट सभी वाक्यों के पूर्ण सिद्धांत को उस संरचना का सिद्धांत भी कहा जाता है।
-किसी संरचना द्वारा संतुष्ट सभी वाक्यों के पूर्ण सिद्धांत को उस संरचना का सिद्धांत भी कहा जाता है।
-यह गोडेल की [[पूर्णता प्रमेय]]  (उनके अपूर्णता प्रमेय के साथ भ्रमित नहीं होना) का एक परिणाम है कि एक सिद्धांत का एक मॉडल है और केवल अगर यह सुसंगत है, अर्थात सिद्धांत द्वारा कोई विरोधाभास साबित नहीं होता है।
+यह गोडेल की [[पूर्णता प्रमेय]] (उनके अपूर्णता प्रमेय के साथ भ्रमित नहीं होना) का एक परिणाम है कि एक सिद्धांत का एक मॉडल है और केवल अगर यह सुसंगत है, अर्थात सिद्धांत द्वारा कोई विरोधाभास प्रमाणित नहीं होता है। इसलिए, मॉडल सिद्धांतकार प्रायः "संतोषजनक" के पर्याय के रूप में "संगत" का उपयोग करते हैं।
-इसलिए, मॉडल सिद्धांतकार अक्सर "संतोषजनक" के पर्याय के रूप में "संगत" का उपयोग करते हैं।
 === बुनियादी मॉडल-सैद्धांतिक अवधारणाएं ===
-एक [[हस्ताक्षर (तर्क)]] या हस्ताक्षर (तर्क) गैर-तार्किक प्रतीकों का एक सेट है जैसे कि प्रत्येक प्रतीक या तो एक स्थिर प्रतीक है, या एक फ़ंक्शन या संबंध प्रतीक एक निर्दिष्ट [[arity]] के साथ है। ध्यान दें कि कुछ साहित्य में, निरंतर प्रतीकों को शून्य एरिटी वाले फ़ंक्शन प्रतीकों के रूप में माना जाता है, और इसलिए इन्हें छोड़ दिया जाता है। एक संरचना (गणितीय तर्क) एक सेट है <math> M</math> संबंधों और कार्यों के रूप में हस्ताक्षर के प्रत्येक प्रतीक की व्याख्या के साथ <math> M </math> (एक संरचना की दूसरी संरचना की [[व्याख्या (मॉडल सिद्धांत)]] की औपचारिक धारणा के साथ भ्रमित नहीं होना)।
+एक [[हस्ताक्षर (तर्क)]] या भाषा गैर-तार्किक प्रतीकों का एक समुच्चय है, जैसे कि प्रत्येक प्रतीक या तो एक स्थिर प्रतीक है, या निर्दिष्ट [[arity|एरिटी]] योग के साथ एक फलन या संबंध प्रतीक है। ध्यान दें कि कुछ साहित्य में, निरंतर प्रतीकों को शून्य एरिटी के साथ फलन प्रतीकों के रूप में माना जाता है, और इसलिए उन्हें छोड़ दिया जाता है। संरचना (गणितीय तर्क) एक समुच्चय है <math> M</math> संबंधों और कार्यों के रूप में हस्ताक्षर के प्रत्येक प्रतीक की व्याख्या के साथ <math> M </math> (एक संरचना की दूसरी संरचना की [[व्याख्या (मॉडल सिद्धांत)]] की औपचारिक धारणा के साथ भ्रमित नहीं होना)।
-उदाहरण: आदेशित छल्लों के लिए एक सामान्य हस्ताक्षर है <math>\sigma_{or}=\{0,1,+,\times,-,<\}</math>, कहाँ <math>0</math> और <math>1</math> 0-एरी फ़ंक्शन प्रतीक हैं (जिन्हें निरंतर प्रतीकों के रूप में भी जाना जाता है), <math>+</math> और <math>\times</math> बाइनरी (= 2-एरी) फ़ंक्शन प्रतीक हैं, <math>-</math> एक यूनरी (= 1-एरी) फ़ंक्शन प्रतीक है, और <math> < </math> एक द्विआधारी संबंध प्रतीक है। फिर, जब इन प्रतीकों की व्याख्या उनके सामान्य अर्थ के अनुरूप की जाती है <math>\Q</math> (ताकि उदा. <math> + </math> से एक समारोह है <math>\Q^2</math> को <math>\Q</math> और <math> < </math> का उपसमुच्चय है <math>\Q^2</math>), एक संरचना प्राप्त करता है <math>(\Q,\sigma_{or})</math>.
+उदाहरण: आदेशित छल्लों के लिए एक सामान्य हस्ताक्षर <math>\sigma_{or}=\{0,1,+,\times,-,<\}</math> है, कहाँ <math>0</math> और <math>1</math> 0-एरी फलन प्रतीक हैं (जिन्हें निरंतर प्रतीकों के रूप में भी जाना जाता है), <math>+</math> और <math>\times</math> बाइनरी (= 2-एरी) फलन प्रतीक हैं, <math>-</math> एक यूनरी (= 1-एरी) फलन प्रतीक है, और <math> < </math> एक द्विआधारी संबंध प्रतीक है। फिर, जब इन प्रतीकों की व्याख्या उनके सामान्य अर्थ के अनुरूप की जाती है <math>\Q</math> (ताकि उदा. <math> + </math> से एक फलन है, <math>\Q^2</math> को <math>\Q</math> और <math> < </math> का <math>\Q^2</math> उपसमुच्चय है), एक संरचना <math>(\Q,\sigma_{or})</math> प्राप्त करता है।
-संरचना <math> \mathcal{N}  </math> मॉडल कहा जाता है{{clarification needed|date=November 2022|reason=Or "be a model of"? It would be helpful to be explicit to the extent that the distinction between "structures" and "models" (model as noun, not verb) is often a point of confusion for beginners.}} पहले क्रम के वाक्यों का एक सेट <math> T</math> दी गई भाषा में यदि प्रत्येक वाक्य में <math>T</math> में सत्य है <math> \mathcal{N} </math> पहले निर्दिष्ट हस्ताक्षर की व्याख्या के संबंध में <math> \mathcal{N}  </math>. (फिर से, एक संरचना की दूसरी संरचना की व्याख्या (मॉडल सिद्धांत) की औपचारिक धारणा से भ्रमित नहीं होना चाहिए)
+संरचना <math> \mathcal{N}  </math> मॉडल कहा जाता है{{clarification needed|date=November 2022|reason=Or "be a model of"? It would be helpful to be explicit to the extent that the distinction between "structures" and "models" (model as noun, not verb) is often a point of confusion for beginners.}} पहले क्रम के वाक्यों का एक समुच्चय <math> T</math> [स्पष्टीकरण की आवश्यकता] मॉडल करने के लिए कहा जाता है, दिए गए भाषा में यदि प्रत्येक वाक्य में <math>T</math> में सत्य है <math> \mathcal{N} </math> पहले निर्दिष्ट हस्ताक्षर की व्याख्या के संबंध में <math> \mathcal{N}  </math>. (फिर से, एक संरचना की दूसरी संरचना की व्याख्या (मॉडल सिद्धांत) की औपचारिक धारणा से भ्रमित नहीं होना चाहिए)।
-एक सबस्ट्रक्चर (गणित)  <math>\mathcal A</math> एक σ-संरचना का <math>\mathcal B</math> इसके डोमेन का एक उपसमुच्चय है, जो इसके हस्ताक्षर σ में सभी कार्यों के तहत बंद है, जिसे σ में सभी कार्यों और संबंधों को सबसेट तक सीमित करके σ-संरचना के रूप में माना जाता है।
+एक आधार (गणित) <math>\mathcal A</math> एक σ-संरचना का <math>\mathcal B</math> इसके डोमेन का एक उपसमुच्चय है, जो इसके हस्ताक्षर σ में सभी कार्यों के तहत बंद है, जिसे σ में सभी कार्यों और संबंधों को उपसमुच्चय में प्रतिबंधित करके σ-संरचना के रूप में माना जाता है।
 यह बीजगणित से समरूप अवधारणाओं का सामान्यीकरण करता है; उदाहरण के लिए, एक उपसमूह गुणा और व्युत्क्रम के साथ हस्ताक्षर में एक उपसंरचना है।
-किसी प्रथम-क्रम सूत्र φ और किसी भी तत्व a के लिए एक उप-संरचना को प्राथमिक कहा जाता है<sub>1</sub>, ..., ए<sub>''n''</sub> का <math>\mathcal A</math>,
+एक उपसंरचना को प्राथमिक कहा जाता है यदि किसी प्रथम-क्रम सूत्र φ और किसी भी तत्व a<sub>1</sub>, ..., ए<sub>''n''</sub> का <math>\mathcal A</math>,
 :<math>\mathcal A\models \varphi(a_1, ...,a_n)</math> अगर और केवल अगर <math>\mathcal B\models \varphi(a_1, ...,a_n)</math>.
-विशेष रूप से, यदि φ एक वाक्य है और <math>\mathcal A</math> की एक प्राथमिक संरचना <math>\mathcal B</math>, तब  <math>\mathcal A\models \varphi</math> अगर और केवल अगर  <math>\mathcal B\models \varphi</math>. इस प्रकार, एक प्राथमिक उपसंरचना एक सिद्धांत का एक मॉडल है, जब अधिरचना एक मॉडल है।
+विशेष रूप से, यदि φ एक वाक्य है और <math>\mathcal A</math> की एक प्राथमिक संरचना <math>\mathcal B</math>, तब <math>\mathcal A\models \varphi</math> यदि और केवल <math>\mathcal B\models \varphi</math>. इस प्रकार, एक प्राथमिक उपसंरचना एक सिद्धांत का एक मॉडल है, ठीक उसी समय जब अधिरचना एक मॉडल है।
-उदाहरण: जबकि बीजगणितीय संख्याओं का क्षेत्र <math>\overline{\mathbb{Q}}</math> जटिल संख्याओं के क्षेत्र का एक प्राथमिक उपसंरचना है <math>\mathbb{C}</math>, तर्कसंगत क्षेत्र <math>\mathbb{Q}</math> नहीं है, जैसा कि हम व्यक्त कर सकते हैं कि पहले क्रम के वाक्य के रूप में 2 का वर्गमूल संतुष्ट है <math>\mathbb{C}</math> लेकिन द्वारा नहीं <math>\mathbb{Q}</math>.
+उदाहरण: जबकि बीजगणितीय संख्याओं का क्षेत्र <math>\overline{\mathbb{Q}}</math> जटिल संख्याओं के क्षेत्र का एक प्राथमिक उपसंरचना है <math>\mathbb{C}</math>, तर्कसंगत क्षेत्र <math>\mathbb{Q}</math> नहीं है, जैसा कि हम व्यक्त कर सकते हैं कि "2 का एक वर्गमूल है" पहले क्रम के वाक्य के रूप में संतुष्ट है <math>\mathbb{C}</math> लेकिन द्वारा नहीं <math>\mathbb{Q}</math>.
-σ-संरचना का एक [[एम्बेडिंग]] <math>\mathcal A</math> दूसरे σ-संरचना में <math>\mathcal B</math> एक मानचित्र f: A → B डोमेन के बीच है जिसे एक समरूपता के रूप में लिखा जा सकता है <math>\mathcal A</math> के एक उपसंरचना के साथ <math>\mathcal B</math>. यदि इसे एक प्रारंभिक उपसंरचना के साथ एक समरूपता के रूप में लिखा जा सकता है, तो इसे प्राथमिक एम्बेडिंग कहा जाता है। प्रत्येक एम्बेडिंग एक [[इंजेक्शन]] समरूपता है, लेकिन बातचीत केवल तभी होती है जब हस्ताक्षर में कोई संबंध प्रतीक नहीं होता है, जैसे समूहों या क्षेत्रों में।
+σ-संरचना का एक [[एम्बेडिंग]] <math>\mathcal A</math> दूसरे σ-संरचना में <math>\mathcal B</math> एक मानचित्र f: A → B डोमेन के बीच है जिसे एक समरूपता के रूप में लिखा जा सकता है <math>\mathcal A</math> के एक संरचना के साथ <math>\mathcal B</math>. यदि इसे एक प्रारंभिक संरचना के साथ एक समरूपता के रूप में लिखा जा सकता है, तो इसे एक प्राथमिक एम्बेडिंग कहा जाता है। प्रत्येक एम्बेडिंग एक [[इंजेक्शन]] समरूपता है, लेकिन बातचीत केवल तभी होती है जब हस्ताक्षर में कोई संबंध प्रतीक नहीं होता है, जैसे समूहों या क्षेत्रों में नहीं होता है।
-किसी क्षेत्र या सदिश समष्टि को इसकी कुछ संरचना की उपेक्षा करके एक (क्रमविनिमेय) समूह के रूप में माना जा सकता है। मॉडल सिद्धांत में संबंधित धारणा मूल हस्ताक्षर के सबसेट के लिए संरचना की कमी की है। विपरीत संबंध को विस्तार कहा जाता है - उदा। परिमेय संख्याओं का (योगात्मक) समूह, जिसे हस्ताक्षर {+,0} में एक संरचना के रूप में माना जाता है, को हस्ताक्षर {×,+,1,0} के साथ एक क्षेत्र में या हस्ताक्षर {+ के साथ एक आदेशित समूह में विस्तारित किया जा सकता है। ,0,<}.
+किसी क्षेत्र या सदिश समष्टि को इसकी कुछ संरचना की उपेक्षा करके एक (क्रमविनिमेय) समूह के रूप में माना जा सकता है। मॉडल सिद्धांत में संबंधित धारणा मूल हस्ताक्षर के उपसमुच्चय के लिए एक संरचना की कमी की है। विपरीत संबंध को विस्तार कहा जाता है - उदा। परिमेय संख्याओं का (योगात्मक) समूह, जिसे हस्ताक्षर {+,0} में एक संरचना के रूप में माना जाता है, को हस्ताक्षर {×,+,1,0} के साथ एक क्षेत्र में या हस्ताक्षर {+ के साथ एक आदेशित समूह में विस्तारित किया जा सकता है।,0,<}.
-इसी तरह, यदि σ' एक हस्ताक्षर है जो एक और हस्ताक्षर σ को बढ़ाता है, तो एक पूर्ण σ'-सिद्धांत को σ-सूत्रों के सेट के साथ इसके वाक्यों के सेट को काटकर σ तक सीमित किया जा सकता है। इसके विपरीत, एक पूर्ण σ-सिद्धांत को σ'-सिद्धांत के रूप में माना जा सकता है, और कोई इसे (एक से अधिक तरीकों से) पूर्ण σ'-सिद्धांत तक बढ़ा सकता है। शर्तों में कमी और विस्तार कभी-कभी इस संबंध में भी लागू होते हैं।
+इसी तरह, यदि σ' एक हस्ताक्षर है जो एक और हस्ताक्षर σ को बढ़ाता है, तो एक पूर्ण σ'-सिद्धांत को σ-सूत्रों के समुच्चय के साथ इसके वाक्यों के समुच्चय को काटकर σ तक सीमित किया जा सकता है। इसके विपरीत, एक पूर्ण σ-सिद्धांत को σ'-सिद्धांत के रूप में माना जा सकता है, और कोई इसे (एक से अधिक तरीकों से) पूर्ण σ'-सिद्धांत तक विस्तारित कर सकता है।इस संबंध में कभी-कभी कमी और विस्तार की शर्तें भी लागू होती हैं।
 === सघनता और लोवेनहेम-स्कोलेम प्रमेय ===
-सघनता प्रमेय में कहा गया है कि यदि S का प्रत्येक परिमित उपसमुच्चय संतोषजनक है तो S वाक्यों का एक समुच्चय संतोषजनक है। संतोषजनक के बजाय सुसंगत कथन तुच्छ है, क्योंकि प्रत्येक प्रमाण में प्रमाण में उपयोग किए जाने वाले एंटीसेडेंट्स की केवल एक सीमित संख्या हो सकती है। पूर्णता प्रमेय हमें इसे संतुष्टि के लिए स्थानांतरित करने की अनुमति देता है। हालाँकि, [[कॉम्पैक्टनेस प्रमेय]] के कई प्रत्यक्ष (सिमेंटिक) प्रमाण भी हैं।
+सघनता प्रमेय में कहा गया है कि यदि S का प्रत्येक परिमित उपसमुच्चय संतोषजनक है तो S वाक्यों का एक समुच्चय संतोषजनक है। संतोषजनक के बजाय सुसंगत कथन तुच्छ है, क्योंकि प्रत्येक प्रमाण में उपयोग किए जाने वाले पूर्ववृत्तों की केवल एक सीमित संख्या हो सकती है। पूर्णता प्रमेय हमें इसे संतुष्टि के लिए स्थानांतरित करने की अनुमति देता है। हालाँकि, [[कॉम्पैक्टनेस प्रमेय]] के कई प्रत्यक्ष (अर्थ संबंधी) प्रमाण भी हैं।
-एक उपप्रमेय के रूप में (अर्थात्, इसका प्रतिधनात्मक), संघनन प्रमेय कहता है कि प्रत्येक असंतुष्ट प्रथम-क्रम सिद्धांत का एक परिमित असंतोषजनक उपसमुच्चय होता है। मॉडल थ्योरी में यह प्रमेय केंद्रीय महत्व का है, जहां कॉम्पैक्टनेस के शब्द सामान्य हैं।<ref>Marker, p. 34</ref>
+एक उपप्रमेय के रूप में (अर्थात्, इसका प्रतिधनात्मक), संघनन प्रमेय कहता है कि प्रत्येक असंतुष्ट प्रथम-क्रम सिद्धांत का एक परिमित असंतोषजनक उपसमुच्चय होता है।यह प्रमेय मॉडल सिद्धांत में केंद्रीय महत्व का है, जहां "सघनता से" शब्द सामान्य हैं।<ref>Marker, p. 34</ref>
 लोवेनहेम-स्कोलेम प्रमेय प्रथम-क्रम मॉडल सिद्धांत की एक और आधारशिला है।
-लोवेनहाइम-स्कोलेम प्रमेय के अनुसार, एक गणनीय हस्ताक्षर में प्रत्येक अनंत संरचना में एक गणनीय प्राथमिक उपसंरचना होती है। इसके विपरीत, किसी भी अनंत कार्डिनल κ के लिए एक गणनीय हस्ताक्षर में प्रत्येक अनंत संरचना जो κ से कम कार्डिनैलिटी की है, प्राथमिक रूप से कार्डिनैलिटी κ की दूसरी संरचना में एम्बेड की जा सकती है (बेशुमार हस्ताक्षरों के लिए एक सीधा सामान्यीकरण है)। विशेष रूप से, लोवेनहाइम-स्कोलेम प्रमेय का अर्थ है कि अनंत मॉडलों के साथ एक गणनीय हस्ताक्षर में किसी भी सिद्धांत में एक गणनीय मॉडल के साथ-साथ मनमाने ढंग से बड़े मॉडल भी होते हैं।<ref>Marker, p. 45</ref>
+लोवेनहाइम-स्कोलेम प्रमेय के अनुसार, एक गणनीय हस्ताक्षर में प्रत्येक अनंत संरचना में एक गणनीय प्राथमिक उपसंरचना होती है। इसके विपरीत, किसी भी अनंत कार्डिनल κ के लिए एक गणनीय हस्ताक्षर में प्रत्येक अनंत संरचना जो κ से कम कार्डिनैलिटी की है, प्राथमिक रूप से कार्डिनैलिटी κ की एक और संरचना में एम्बेड की जा सकती है (बेशुमार हस्ताक्षरों के लिए एक सीधा सामान्यीकरण है)। विशेष रूप से, लोवेनहाइम-स्कोलेम प्रमेय का अर्थ है कि अनंत मॉडलों के साथ एक गणनीय मॉडल के साथ-साथ मनमाने ढंग से बड़े मॉडल भी होते हैं।<ref>Marker, p. 45</ref>
-एक निश्चित अर्थ में लिंडस्ट्रॉम के प्रमेय द्वारा सटीक बनाया गया, प्रथम-क्रम तर्क सबसे अभिव्यंजक तर्क है जिसके लिए लोवेनहेम-स्कोलेम प्रमेय और कॉम्पैक्टनेस प्रमेय दोनों हैं।<ref>Barwise and Feferman, p. 43</ref>
+एक निश्चित अर्थ में लिंडस्ट्रॉम के प्रमेय द्वारा सही बनाया गया, प्रथम-क्रम तर्क सबसे अभिव्यंजक तर्क है जिसके लिए लोवेनहेम-स्कोलेम प्रमेय और कॉम्पैक्टनेस प्रमेय दोनों हैं।<ref>Barwise and Feferman, p. 43</ref>
 == निश्चितता ==
-=== [[परिभाषित करने योग्य सेट]] ===
+=== [[परिभाषित करने योग्य सेट|परिभाषित करने योग्य समुच्चय]] ===
-मॉडल सिद्धांत में, निश्चित सेट अध्ययन की महत्वपूर्ण वस्तुएं हैं। उदाहरण के लिए, में <math>\mathbb N</math> सूत्र
+मॉडल सिद्धांत में, परिभाषित करने योग्य समुच्चय अध्ययन की महत्वपूर्ण वस्तुएँ हैं। उदाहरण के लिए, में <math>\mathbb N</math> सूत्र
 :<math>\forall u\forall v(\exists w (x\times w=u\times v)\rightarrow(\exists w(x\times w=u)\lor\exists w(x\times w=v)))\land x\ne 0\land x\ne1</math>
-अभाज्य संख्याओं के सबसेट को परिभाषित करता है, जबकि सूत्र
+अभाज्य संख्याओं के सबसमुच्चय को परिभाषित करता है, जबकि सूत्र
 :<math>\exists y (2\times y = x)</math>
-सम संख्याओं के सबसेट को परिभाषित करता है।
+सम संख्याओं के उपसमुच्चय को परिभाषित करता है।
-इसी तरह, एन मुक्त चर वाले सूत्र सबसेट को परिभाषित करते हैं <math>\mathcal{M}^n</math>. उदाहरण के लिए, किसी फ़ील्ड में, सूत्र
+इसी प्रकार, n मुक्त चर वाले सूत्र निम्न के उपसमुच्चय को परिभाषित करते हैं <math>\mathcal{M}^n</math>. उदाहरण के लिए, एक क्षेत्र में, सूत्र:
 :<math> y = x \times x</math>
 सभी के वक्र को परिभाषित करता है <math>(x,y)</math> ऐसा है कि <math>y = x^2</math>.
-यहां बताई गई दोनों परिभाषाएं पैरामीटर-मुक्त हैं, यानी परिभाषित करने वाले सूत्र किसी भी निश्चित डोमेन तत्वों का उल्लेख नहीं करते हैं। हालाँकि, कोई मॉडल से मापदंडों के साथ परिभाषाओं पर भी विचार कर सकता है।
+यहां बताई गई दोनों परिभाषाएं पैरामीटर-मुक्त हैं, अर्थात, परिभाषित करने वाले सूत्र किसी निश्चित डोमेन तत्वों का उल्लेख नहीं करते हैं। हालांकि, कोई भी मॉडल से मापदंडों के साथ परिभाषा पर विचार कर सकता है।
 उदाहरण के लिए, में <math>\mathbb{R}</math>, सूत्र
 :<math> y = x \times x + \pi</math>
-पैरामीटर का उपयोग करता है <math>\pi</math> से <math>\mathbb{R}</math> एक वक्र को परिभाषित करने के लिए।<ref>Marker, p. 19</ref>
+पैरामीटर का उपयोग करता है <math>\pi</math> से <math>\mathbb{R}</math> एक वक्र को परिभाषित करने के लिए होता है।<ref>Marker, p. 19</ref>
-=== क्वांटिफायर को खत्म करना ===
+=== क्वांटिफायर को समाप्त करना ===
-सामान्य तौर पर, क्वांटिफायर के बिना निश्चित सेट का वर्णन करना आसान होता है, जबकि संभवतः नेस्टेड क्वांटिफायर वाले निश्चित सेट अधिक जटिल हो सकते हैं।<ref>Marker, p. 71</ref>
+सामान्यतः, क्वांटिफायर के बिना निश्चित समुच्चय का वर्णन करना आसान होता है, जबकि संभवतः नेस्टेड क्वांटिफायर वाले निश्चित समुच्चय अधिक जटिल हो सकते हैं।<ref>Marker, p. 71</ref>
-यह निश्चित सेटों के विश्लेषण के लिए [[क्वांटिफायर उन्मूलन]] को एक महत्वपूर्ण उपकरण बनाता है:
-एक सिद्धांत टी में मात्रात्मक विलोपन है यदि प्रत्येक प्रथम-क्रम सूत्र φ(x<sub>1</sub>, ..., एक्स<sub>''n''</sub>) इसके हस्ताक्षर के ऊपर एक प्रथम-क्रम सूत्र ψ(x<sub>1</sub>, ..., एक्स<sub>''n''</sub>) क्वांटिफायर के बिना, यानी <math>\forall x_1\dots\forall x_n(\phi(x_1,\dots,x_n)\leftrightarrow \psi(x_1,\dots,x_n))</math> टी के सभी मॉडलों में रखती है।<ref>Marker, p. 72</ref>
-यदि किसी संरचना के सिद्धांत में क्वांटिफायर उन्मूलन है, तो संरचना में परिभाषित प्रत्येक सेट मूल परिभाषा के समान पैरामीटर पर क्वांटिफायर-मुक्त सूत्र द्वारा निश्चित है।
-उदाहरण के लिए, हस्ताक्षर σ में बीजगणितीय रूप से बंद क्षेत्रों का सिद्धांत<sub>ring</sub> = (×,+,−,0,1) में क्वांटिफायर एलिमिनेशन है।<ref>Marker, p. 85</ref> इसका मतलब यह है कि बीजगणितीय रूप से बंद क्षेत्र में, प्रत्येक सूत्र बहुपदों के बीच समीकरणों के बूलियन संयोजन के बराबर है।
-यदि किसी सिद्धांत में क्वांटिफायर एलिमिनेशन नहीं है, तो कोई इसके हस्ताक्षर में अतिरिक्त प्रतीक जोड़ सकता है ताकि यह हो। विशिष्ट सिद्धांतों के लिए, विशेष रूप से बीजगणित में, एक्सियोमैटिसेबिलिटी और क्वांटिफायर एलिमिनेशन परिणाम, मॉडल सिद्धांत के शुरुआती लैंडमार्क परिणामों में से थे।<ref>{{Cite journal|last1=Doner|first1=John|last2=Hodges|first2=Wilfrid|date=1988|title=Alfred Tarski and Decidable Theories|url=http://dx.doi.org/10.2307/2274425|journal=The Journal of Symbolic Logic|volume=53|issue=1|pages=20|doi=10.2307/2274425|jstor=2274425|issn=0022-4812}}</ref> लेकिन अक्सर क्वांटिफायर उन्मूलन के बजाय कमजोर संपत्ति पर्याप्त होती है:
+यह निश्चित समुच्चयों के विश्लेषण के लिए [[क्वांटिफायर उन्मूलन]] को एक महत्वपूर्ण उपकरण बनाता है: एक सिद्धांत टी में मात्रात्मक विलोपन है यदि प्रत्येक प्रथम-क्रम सूत्र φ(x<sub>1</sub>, ..., X<sub>''n''</sub>) इसके हस्ताक्षर के ऊपर एक प्रथम-क्रम सूत्र ψ(x<sub>1</sub>, ..., X<sub>''n''</sub>) क्वांटिफायर के बिना, अर्थात <math>\forall x_1\dots\forall x_n(\phi(x_1,\dots,x_n)\leftrightarrow \psi(x_1,\dots,x_n))</math> टी के सभी मॉडलों में रखती है।<ref>Marker, p. 72</ref>
+यदि किसी संरचना के सिद्धांत में क्वांटिफायर उन्मूलन है, तो संरचना में परिभाषित प्रत्येक समुच्चय मूल परिभाषा के समान पैरामीटर पर क्वांटिफायर-मुक्त सूत्र द्वारा निश्चित है। उदाहरण के लिए, हस्ताक्षर σ में बीजगणितीय रूप से बंद क्षेत्रों का सिद्धांत = (×,+,−,0,1) में क्वांटिफायर एलिमिनेशन है।<ref>Marker, p. 85</ref> इसका मतलब यह है कि बीजगणितीय रूप से बंद क्षेत्र में, प्रत्येक सूत्र बहुपदों के बीच समीकरणों के बूलियन संयोजन के बराबर है।
-एक सिद्धांत टी को [[मॉडल-पूर्ण]] कहा जाता है यदि टी के मॉडल के प्रत्येक सबस्ट्रक्चर जो स्वयं टी का एक मॉडल है, एक प्राथमिक सबस्ट्रक्चर है। परीक्षण के लिए एक उपयोगी मानदंड है कि क्या एक उपसंरचना एक प्राथमिक उपसंरचना है, जिसे तर्स्की-वॉट टेस्ट कहा जाता है।<ref>Marker, p. 45</ref> यह इस कसौटी से अनुसरण करता है कि एक सिद्धांत टी मॉडल-पूर्ण है यदि और केवल यदि प्रत्येक प्रथम-क्रम सूत्र φ(x<sub>1</sub>, ..., एक्स<sub>''n''</sub>) इसके हस्ताक्षर के ऊपर एक अस्तित्वगत प्रथम-क्रम सूत्र के बराबर मॉड्यूलो टी है, अर्थात निम्न रूप का एक सूत्र:
+यदि किसी सिद्धांत में क्वांटिफायर एलिमिनेशन नहीं है, तो कोई इसके हस्ताक्षर में अतिरिक्त प्रतीक जोड़ सकता है ताकि यह हो। विशिष्ट सिद्धांतों के लिए, विशेष रूप से बीजगणित में, एक्सियोमैटिसेबिलिटी और क्वांटिफायर एलिमिनेशन परिणाम, मॉडल सिद्धांत के प्रारम्भिक लैंडमार्क परिणामों में से थे।<ref>{{Cite journal|last1=Doner|first1=John|last2=Hodges|first2=Wilfrid|date=1988|title=Alfred Tarski and Decidable Theories|url=http://dx.doi.org/10.2307/2274425|journal=The Journal of Symbolic Logic|volume=53|issue=1|pages=20|doi=10.2307/2274425|jstor=2274425|issn=0022-4812}}</ref> लेकिन प्रायः क्वांटिफायर उन्मूलन के बजाय कमजोर संपत्ति पर्याप्त होती है:
+एक सिद्धांत टी को [[मॉडल-पूर्ण]] कहा जाता है यदि टी के मॉडल के प्रत्येक सबस्ट्रक्चर जो स्वयं टी का एक मॉडल है, एक प्राथमिक सबस्ट्रक्चर है। परीक्षण के लिए एक उपयोगी मानदंड है कि क्या एक उपसंरचना एक प्राथमिक उपसंरचना है, जिसे तर्स्की-वॉट टेस्ट कहा जाता है।<ref>Marker, p. 45</ref> यह इस कसौटी से अनुसरण करता है कि एक सिद्धांत टी मॉडल-पूर्ण है यदि और केवल यदि प्रत्येक प्रथम-क्रम सूत्र φ(x<sub>1</sub>, ..., X<sub>''n''</sub>) इसके हस्ताक्षर के ऊपर एक अस्तित्वगत प्रथम-क्रम सूत्र के बराबर मॉड्यूलो टी है, अर्थात निम्न रूप का एक सूत्र:
 :<math>\exists v_1\dots\exists v_m\psi(x_1,\dots,x_n,v_1,\dots,v_m)</math>,
 जहां ψ परिमाणक मुक्त है। एक सिद्धांत जो मॉडल-पूर्ण नहीं है, एक मॉडल पूर्णता हो सकती है, जो एक संबंधित मॉडल-पूर्ण सिद्धांत है जो सामान्य रूप से मूल सिद्धांत का विस्तार नहीं है। एक अधिक सामान्य धारणा एक आदर्श साथी की है।<ref>Marker, p. 106</ref>
@@ Line 108: / Line 104: @@
 === न्यूनतमता ===
-हर संरचना में, हर परिमित सबसेट <math>\{a_1, \dots, a_n\}</math> मापदंडों के साथ परिभाषित किया जा सकता है: बस सूत्र का उपयोग करें
+हर संरचना में, हर परिमित सबसमुच्चय <math>\{a_1, \dots, a_n\}</math> मापदंडों के साथ परिभाषित किया जा सकता है: बस सूत्र का उपयोग करें
 :<math> x = a_1 \vee \dots \vee x = a_n </math>.
-चूँकि हम इस सूत्र को नकार सकते हैं, प्रत्येक सहपरिमित उपसमुच्चय (जिसमें प्रान्त के सभी लेकिन परिमित रूप से कई तत्व शामिल हैं) भी हमेशा परिभाष्य होता है।
+चूँकि हम इस सूत्र को नकार सकते हैं, प्रत्येक सहपरिमित उपसमुच्चय (जिसमें प्रान्त के सभी लेकिन परिमित रूप से कई तत्व सम्मिलित हैं) भी सदैव परिभाष्य होता है।
 यह एक न्यूनतम संरचना की अवधारणा की ओर जाता है।
-संरचना <math>\mathcal{M}</math> न्यूनतम कहा जाता है यदि प्रत्येक उपसमुच्चय <math>A \subseteq \mathcal{M}</math> से मापदंडों के साथ निश्चित <math>\mathcal{M}</math> परिमित या सांत है।
+संरचना <math>\mathcal{M}</math> न्यूनतम कहा जाता है यदि प्रत्येक उपसमुच्चय <math>A \subseteq \mathcal{M}</math> से मापदंडों के साथ निश्चित <math>\mathcal{M}</math> परिमित या सांत है। सिद्धांतों के स्तर पर संबंधित अवधारणा को मजबूत न्यूनता कहा जाता है: एक सिद्धांत टी को अत्यधिक न्यूनतम सिद्धांत कहा जाता है यदि टी का प्रत्येक मॉडल न्यूनतम है।
-सिद्धांतों के स्तर पर संबंधित अवधारणा को मजबूत न्यूनता कहा जाता है:
-एक सिद्धांत टी को अत्यधिक न्यूनतम सिद्धांत कहा जाता है यदि टी का प्रत्येक मॉडल न्यूनतम है।
 एक संरचना को दृढ़ता से न्यूनतम कहा जाता है यदि उस संरचना का सिद्धांत दृढ़ता से न्यूनतम हो। समतुल्य रूप से, यदि प्रत्येक प्राथमिक विस्तार न्यूनतम है तो एक संरचना दृढ़ता से न्यूनतम है।
-चूंकि बीजगणितीय रूप से बंद क्षेत्रों के सिद्धांत में क्वांटिफायर उन्मूलन होता है, बीजगणितीय रूप से बंद फ़ील्ड के प्रत्येक निश्चित उपसमुच्चय को एक चर में क्वांटिफायर-मुक्त सूत्र द्वारा निश्चित किया जाता है। एक चर में क्वांटिफायर-मुक्त सूत्र एक चर में बहुपद समीकरणों के बूलियन संयोजनों को व्यक्त करते हैं, और चूंकि एक चर में एक गैर-तुच्छ बहुपद समीकरण में केवल एक सीमित संख्या में समाधान होते हैं, बीजगणितीय रूप से बंद क्षेत्रों का सिद्धांत दृढ़ता से न्यूनतम है।<ref>Marker, p. 208</ref>
+चूंकि बीजगणितीय रूप से बंद क्षेत्रों के सिद्धांत में क्वांटिफायर उन्मूलन होता है, बीजगणितीय रूप से बंद फ़ील्ड के प्रत्येक निश्चित उपसमुच्चय को एक चर में क्वांटिफायर-मुक्त सूत्र द्वारा निश्चित किया जाता है। एक चर में क्वांटिफायर-मुक्त सूत्र एक चर में बहुपद समीकरणों के बूलियन संयोजनों को व्यक्त करते हैं, और चूंकि एक चर में एक गैर-तुच्छ बहुपद समीकरण में केवल एक सीमित संख्या में समाधान होते हैं, बीजगणितीय रूप से बंद क्षेत्रों का सिद्धांत दृढ़ता से न्यूनतम है।<ref>Marker, p. 208</ref> दूसरी ओर, मैदान <math>\mathbb{R}</math> वास्तविक संख्या न्यूनतम नहीं है: उदाहरण के लिए, निश्चित समुच्चय पर विचार करें
-दूसरी ओर, मैदान <math>\mathbb{R}</math> वास्तविक संख्या न्यूनतम नहीं है: उदाहरण के लिए, निश्चित सेट पर विचार करें
 :<math>\varphi (x) \;=\; \exists y (y \times y = x)</math>.
-यह गैर-ऋणात्मक वास्तविक संख्याओं के उपसमुच्चय को परिभाषित करता है, जो न तो परिमित है और न ही सहपरिमित।
+यह गैर-ऋणात्मक वास्तविक संख्याओं के उपसमुच्चय को परिभाषित करता है, जो न तो परिमित है और न ही सहपरिमित। कोई वास्तव में उपयोग कर सकता है <math>\varphi</math> वास्तविक संख्या रेखा पर मनमाने अंतराल को परिभाषित करने के लिए।
-कोई वास्तव में उपयोग कर सकता है <math>\varphi</math> वास्तविक संख्या रेखा पर मनमाने अंतराल को परिभाषित करने के लिए।
 यह पता चला है कि ये प्रत्येक निश्चित उपसमुच्चय का प्रतिनिधित्व करने के लिए पर्याप्त हैं <math>\mathbb{R}</math>.<ref>Marker, p. 97</ref>
 आदेशित संरचनाओं के मॉडल सिद्धांत में न्यूनतमता का यह सामान्यीकरण बहुत उपयोगी रहा है।
@@ Line 128: / Line 120: @@
 === परिभाषित करने योग्य और व्याख्या करने योग्य संरचनाएं ===
-{{main|Interpretation (model theory)}}
+{{main|व्याख्या (मॉडल सिद्धांत)}}
-विशेष रूप से महत्वपूर्ण वे निश्चित सेट हैं जो सबस्ट्रक्चर भी हैं, i। इ। सभी स्थिरांक शामिल हैं और फ़ंक्शन एप्लिकेशन के अंतर्गत बंद हैं। उदाहरण के लिए, कोई एक निश्चित समूह के निश्चित उपसमूहों का अध्ययन कर सकता है।
-हालांकि, एक ही हस्ताक्षर में खुद को सबस्ट्रक्चर तक सीमित रखने की जरूरत नहीं है। चूंकि n मुक्त चर वाले सूत्र सबसेट को परिभाषित करते हैं <math>\mathcal{M}^n</math>, n-ary संबंध भी निश्चित हो सकते हैं। यदि फ़ंक्शन ग्राफ़ एक निश्चित संबंध और स्थिरांक है, तो फ़ंक्शंस निश्चित हैं <math> a \in \mathcal{M}</math> यदि कोई सूत्र है तो निश्चित हैं <math>\varphi(x)</math> जैसे कि a एकमात्र तत्व है <math>\mathcal{M}</math> ऐसा है कि  <math>\varphi(a)</math> क्या सच है।
+विशेष रूप से महत्वपूर्ण वे निश्चित समुच्चय हैं जो सबस्ट्रक्चर भी हैं, i। इ। सभी स्थिरांक सम्मिलित हैं और फलन एप्लिकेशन के अंतर्गत बंद हैं। उदाहरण के लिए, कोई एक निश्चित समूह के निश्चित उपसमूहों का अध्ययन कर सकता है।
+हालांकि, एक ही हस्ताक्षर में खुद को सबस्ट्रक्चर तक सीमित रखने की जरूरत नहीं है। चूंकि n मुक्त चर वाले सूत्र सबसमुच्चय को परिभाषित करते हैं <math>\mathcal{M}^n</math>, n-ary संबंध भी निश्चित हो सकते हैं। यदि फलन ग्राफ़ एक निश्चित संबंध और स्थिरांक है, तो फ़ंक्शंस निश्चित हैं <math> a \in \mathcal{M}</math> यदि कोई सूत्र है तो निश्चित हैं <math>\varphi(x)</math> जैसे कि a एकमात्र तत्व है <math>\mathcal{M}</math> ऐसा है कि <math>\varphi(a)</math> क्या सच है।
 इस तरह, कोई सामान्य संरचनाओं में निश्चित समूहों और क्षेत्रों का अध्ययन कर सकता है, उदाहरण के लिए, जो ज्यामितीय स्थिरता सिद्धांत में महत्वपूर्ण रहा है।
@@ Line 140: / Line 133: @@
 == प्रकार ==
-{{main|Type (model theory)}}
+{{main|प्रकार (मॉडल सिद्धांत)}}
 === बुनियादी धारणाएं ===
-तत्वों के अनुक्रम के लिए <math>a_1, \dots, a_n</math> एक संरचना का <math>\mathcal{M}</math> और एक उपसमुच्चय ए <math>\mathcal{M}</math>, सभी प्रथम-क्रम सूत्रों के सेट पर विचार कर सकते हैं <math>\varphi(x_1, \dots, x_n)</math> ए में पैरामीटर के साथ संतुष्ट हैं <math>a_1, \dots, a_n</math>. इसे पूर्ण (एन-) प्रकार कहा जाता है जिसे द्वारा महसूस किया जाता है <math>a_1, \dots, a_n</math> एक से अधिक।
+तत्वों के अनुक्रम के लिए <math>a_1, \dots, a_n</math> एक संरचना का <math>\mathcal{M}</math> और एक उपसमुच्चय ए <math>\mathcal{M}</math>, सभी प्रथम-क्रम सूत्रों के समुच्चय पर विचार कर सकते हैं <math>\varphi(x_1, \dots, x_n)</math> a में पैरामीटर के साथ संतुष्ट हैं <math>a_1, \dots, a_n</math>. इसे पूर्ण (एन-) प्रकार कहा जाता है जिसे द्वारा अनुभव किया जाता है <math>a_1, \dots, a_n</math> एक से अधिक। अगर का एक [[automorphism|ऑटोमोर्फिसम]] है <math>\mathcal{M}</math> वह ए पर स्थिर है और भेजता है <math>a_1, \dots, a_n</math> को <math>b_1, \dots, b_n</math> क्रमशः, फिर <math>a_1, \dots, a_n</math> और <math>b_1, \dots, b_n</math> ए पर एक ही पूर्ण प्रकार का अनुभव करें।
-अगर का एक [[automorphism]] है <math>\mathcal{M}</math> वह ए पर स्थिर है और भेजता है <math>a_1, \dots, a_n</math> को <math>b_1, \dots, b_n</math> क्रमशः, फिर <math>a_1, \dots, a_n</math> और  <math>b_1, \dots, b_n</math> ए पर एक ही पूर्ण प्रकार का एहसास करें।
-वास्तविक संख्या रेखा <math>\mathbb{R}</math>, केवल आदेश संबंध {<} के साथ एक संरचना के रूप में देखा गया, इस खंड में एक चालू उदाहरण के रूप में काम करेगा।
+वास्तविक संख्या रेखा <math>\mathbb{R}</math>, केवल आदेश संबंध {<} के साथ एक संरचना के रूप में देखा गया, इस खंड में एक चालू उदाहरण के रूप में काम करेगा। हर तत्व <math> a \in \mathbb{R}</math> खाली समुच्चय पर समान 1-प्रकार को संतुष्ट करता है। यह स्पष्ट है क्योंकि कोई भी दो वास्तविक संख्याएँ a और b ऑर्डर ऑटोमोर्फिज्म से जुड़ी हैं जो सभी संख्याओं को b-a से बदल देती हैं। संख्याओं की एक जोड़ी द्वारा खाली समुच्चय पर पूरा 2-प्रकार <math>a_1, a_2</math> उनके आदेश पर निर्भर करता है: या तो <math>a_1 < a_2</math>, <math>a_1 = a_2</math> या <math>a_2 < a_1</math>. सबसमुच्चय के ऊपर <math>\mathbb{Z} \subseteq \mathbb{R}</math> पूर्णांकों का, एक गैर-पूर्णांक वास्तविक संख्या का 1-प्रकार a इसके मान पर निर्भर करता है जो निकटतम पूर्णांक तक गोल होता है।
-हर तत्व <math> a \in \mathbb{R}</math> खाली सेट पर समान 1-प्रकार को संतुष्ट करता है। यह स्पष्ट है क्योंकि कोई भी दो वास्तविक संख्याएँ a और b ऑर्डर ऑटोमोर्फिज्म से जुड़ी हैं जो सभी संख्याओं को b-a से बदल देती हैं। संख्याओं की एक जोड़ी द्वारा खाली सेट पर पूरा 2-प्रकार <math>a_1, a_2</math> उनके आदेश पर निर्भर करता है: या तो <math>a_1 < a_2</math>, <math>a_1 = a_2</math> या <math>a_2 < a_1</math>.
-सबसेट के ऊपर <math>\mathbb{Z} \subseteq \mathbb{R}</math> पूर्णांकों का, एक गैर-पूर्णांक वास्तविक संख्या का 1-प्रकार a इसके मान पर निर्भर करता है जो निकटतम पूर्णांक तक गोल होता है।
-अधिक आम तौर पर, जब भी <math>\mathcal{M}</math> एक संरचना है और A का एक उपसमुच्चय है <math>\mathcal{M}</math>, ए पर एक (आंशिक) एन-टाइप फॉर्मूला पी का एक सेट है जिसमें अधिकतर एन मुक्त चर होते हैं जिन्हें प्राथमिक विस्तार में महसूस किया जाता है <math>\mathcal{N}</math> का <math>\mathcal{M}</math>.
+अधिक सामान्यतः, जब भी <math>\mathcal{M}</math> एक संरचना है और A का एक उपसमुच्चय है <math>\mathcal{M}</math>, ए पर एक (आंशिक) एन-टाइप फॉर्मूला P का एक समुच्चय है जिसमें अधिकतर एन मुक्त चर होते हैं जिन्हें प्राथमिक विस्तार में अनुभव किया जाता है <math>\mathcal{N}</math> का <math>\mathcal{M}</math>.
-यदि p में ऐसा प्रत्येक सूत्र या उसका निषेध है, तो p पूर्ण है। ए पर पूर्ण एन-प्रकारों का सेट अक्सर लिखा जाता है <math>S_n^{\mathcal{M}}(A)</math>. यदि ए खाली सेट है, तो टाइप स्पेस केवल सिद्धांत पर निर्भर करता है <math>T</math> का <math>\mathcal{M}</math>. अंकन <math>S_n(T)</math> आमतौर पर संगत खाली सेट पर प्रकारों के सेट के लिए उपयोग किया जाता है <math>T</math>.
+यदि p में ऐसा प्रत्येक सूत्र या उसका निषेध है, तो p पूर्ण है। ए पर पूर्ण एन-प्रकारों का समुच्चय प्रायः लिखा जाता है <math>S_n^{\mathcal{M}}(A)</math>. यदि ए खाली समुच्चय है, तो टाइप स्पेस केवल सिद्धांत पर निर्भर करता है <math>T</math> का <math>\mathcal{M}</math>. अंकन <math>S_n(T)</math> सामान्यतः संगत खाली समुच्चय पर प्रकारों के समुच्चय के लिए उपयोग किया जाता है <math>T</math>.
-यदि एक ही सूत्र है <math> \varphi </math> ऐसा है कि का सिद्धांत <math>\mathcal{M}</math> तात्पर्य <math>\varphi \rightarrow \psi</math> प्रत्येक सूत्र के लिए <math>\psi</math> पी में, तो पी को पृथक कहा जाता है।
+यदि एक ही सूत्र है <math> \varphi </math> ऐसा है कि का सिद्धांत <math>\mathcal{M}</math> तात्पर्य <math>\varphi \rightarrow \psi</math> प्रत्येक सूत्र के लिए <math>\psi</math> P में, तो P को पृथक कहा जाता है।
-वास्तविक संख्या के बाद से <math>\mathbb{R}</math> [[आर्किमिडीयन क्षेत्र]] हैं, प्रत्येक पूर्णांक से बड़ी कोई वास्तविक संख्या नहीं है। हालांकि, एक कॉम्पैक्टनेस तर्क से पता चलता है कि वास्तविक संख्या रेखा का एक प्राथमिक विस्तार है जिसमें किसी भी पूर्णांक से बड़ा तत्व है।
+वास्तविक संख्या के बाद से <math>\mathbb{R}</math> [[आर्किमिडीयन क्षेत्र]] हैं, प्रत्येक पूर्णांक से बड़ी कोई वास्तविक संख्या नहीं है। हालांकि, एक कॉम्पैक्टनेस तर्क से पता चलता है कि वास्तविक संख्या रेखा का एक प्राथमिक विस्तार है जिसमें किसी भी पूर्णांक से बड़ा तत्व है। इसलिए, सूत्रों का समुच्चय <math>\{n < x | n \in \mathbb{Z} \}</math> 1 प्रकार का ओवर है <math>\mathbb{Z} \subseteq \mathbb{R}</math> जो वास्तविक संख्या रेखा में अनुभव नहीं होता है <math>\mathbb{R}</math>.
-इसलिए, सूत्रों का सेट <math>\{n < x | n \in \mathbb{Z} \}</math> 1 प्रकार का ओवर है <math>\mathbb{Z} \subseteq \mathbb{R}</math> जो वास्तविक संख्या रेखा में अनुभव नहीं होता है <math>\mathbb{R}</math>.
-का एक उपसमुच्चय <math>\mathcal{M}^n</math> जिसे ठीक उन्हीं तत्वों के रूप में व्यक्त किया जा सकता है <math>\mathcal{M}^n</math> A पर एक निश्चित प्रकार को साकार करने को A पर टाइप-डिफ़िनेबल कहा जाता है।
+एक उपसमुच्चय <math>\mathcal{M}^n</math> जिसे ठीक उन्हीं तत्वों के रूप में व्यक्त किया जा सकता है <math>\mathcal{M}^n</math> A पर एक निश्चित प्रकार को साकार करने को A पर टाइप-डिफ़िनेबल कहा जाता है। एक बीजगणितीय उदाहरण के लिए, मान लीजिए <math>M</math> एक बीजगणितीय रूप से बंद क्षेत्र है। सिद्धांत में क्वांटिफायर एलिमिनेशन है। यह हमें यह दिखाने की अनुमति देता है कि एक प्रकार वास्तव में इसमें सम्मिलित बहुपद समीकरणों द्वारा निर्धारित किया जाता है। इस प्रकार पूर्ण का समुच्चय <math>n</math>-एक सबफ़ील्ड पर टाइप करता है <math>A</math> बहुपद वलय के प्रमुख आदर्शों के समुच्चय के संगत है <math>A[x_1,\ldots,x_n]</math>, और टाइप-डिफ़िनेबल समुच्चय बिल्कुल एफ़िन किस्में हैं।<ref>Marker, p. 115-124</ref>
-एक बीजगणितीय उदाहरण के लिए, मान लीजिए <math>M</math> एक बीजगणितीय रूप से बंद क्षेत्र है। सिद्धांत में क्वांटिफायर एलिमिनेशन है। यह हमें यह दिखाने की अनुमति देता है कि एक प्रकार वास्तव में इसमें शामिल बहुपद समीकरणों द्वारा निर्धारित किया जाता है। इस प्रकार पूर्ण का सेट <math>n</math>-एक सबफ़ील्ड पर टाइप करता है <math>A</math> बहुपद वलय के प्रमुख आदर्शों के समुच्चय के संगत है <math>A[x_1,\ldots,x_n]</math>, और टाइप-डिफ़िनेबल सेट बिल्कुल एफ़िन किस्में हैं।<ref>Marker, p. 115-124</ref>
 === संरचनाएं और प्रकार ===
-जबकि हर संरचना में हर प्रकार का एहसास नहीं होता है, हर संरचना अपने अलग-अलग प्रकारों को महसूस करती है।
+जबकि हर संरचना में हर प्रकार का अनुभव नहीं होता है, हर संरचना अपने अलग-अलग प्रकारों को अनुभव करती है। यदि किसी संरचना में साकार होने वाले खाली समुच्चय पर एकमात्र प्रकार पृथक प्रकार हैं, तो संरचना को परमाणु कहा जाता है।
-यदि किसी संरचना में साकार होने वाले खाली सेट पर एकमात्र प्रकार पृथक प्रकार हैं, तो संरचना को परमाणु कहा जाता है।
-दूसरी ओर, कोई संरचना हर पैरामीटर सेट पर हर प्रकार का एहसास नहीं करती है; अगर कोई सब कुछ ले लेता है <math>\mathcal{M}</math> पैरामीटर सेट के रूप में, फिर हर 1-टाइप ओवर <math>\mathcal{M}</math> में साकार हुआ <math>\mathcal{M}</math> a के लिए a = x के सूत्र द्वारा पृथक किया जाता है <math>a \in \mathcal{M}</math>. हालाँकि, का कोई भी उचित प्राथमिक विस्तार <math>\mathcal{M}</math> इसमें एक ऐसा तत्व है जो अंदर नहीं है <math>\mathcal{M}</math>. इसलिए एक कमजोर धारणा पेश की गई है जो एक संरचना के विचार को पकड़ती है जो सभी प्रकारों को साकार करने की उम्मीद कर सकती है।
+दूसरी ओर, कोई संरचना हर पैरामीटर समुच्चय पर हर प्रकार का अनुभव नहीं करती है; अगर कोई सब कुछ ले लेता है <math>\mathcal{M}</math> पैरामीटर समुच्चय के रूप में, फिर हर 1-टाइप ओवर <math>\mathcal{M}</math> में साकार हुआ <math>\mathcal{M}</math> a के लिए a = x के सूत्र द्वारा पृथक किया जाता है <math>a \in \mathcal{M}</math>. हालाँकि, का कोई भी उचित प्राथमिक विस्तार <math>\mathcal{M}</math> इसमें एक ऐसा तत्व है जो अंदर नहीं है <math>\mathcal{M}</math>. इसलिए एक कमजोर धारणा पेश की गई है जो एक संरचना के विचार को पकड़ती है जो सभी प्रकारों को साकार करने की उम्मीद कर सकती है।
-एक संरचना को संतृप्त कहा जाता है अगर यह पैरामीटर सेट पर हर प्रकार का एहसास करता है <math>A \subset \mathcal{M}</math> की तुलना में छोटी कार्डिनैलिटी है <math>\mathcal{M}</math> अपने आप।
+एक संरचना को संतृप्त कहा जाता है अगर यह पैरामीटर समुच्चय पर हर प्रकार का अनुभव करता है <math>A \subset \mathcal{M}</math> की तुलना में छोटी कार्डिनैलिटी है <math>\mathcal{M}</math> अपने आप।
-{{Anchor|homogeneous}}जबकि ए पर स्थिर एक ऑटोमोर्फिज्म हमेशा ए पर प्रकारों को संरक्षित करेगा, यह आम तौर पर सच नहीं है कि कोई भी दो अनुक्रम <math>a_1, \dots, a_n</math> और <math>b_1, \dots, b_n</math> ए पर एक ही प्रकार को संतुष्ट करने वाले को इस तरह के ऑटोमोर्फिज्म द्वारा एक दूसरे से मैप किया जा सकता है। संरचना <math>\mathcal{M}</math> जिसमें यह आक्षेप सभी ए की तुलना में छोटे कार्डिनैलिटी के लिए है <math>\mathcal{M}</math> सजातीय कहा जाता है।
+{{Anchor|homogeneous}}जबकि ए पर स्थिर एक ऑटोमोर्फिज्म सदैव ए पर प्रकारों को संरक्षित करेगा, यह सामान्यतः सच नहीं है कि कोई भी दो अनुक्रम <math>a_1, \dots, a_n</math> और <math>b_1, \dots, b_n</math> ए पर एक ही प्रकार को संतुष्ट करने वाले को इस तरह के ऑटोमोर्फिज्म द्वारा एक दूसरे से मैप किया जा सकता है। संरचना <math>\mathcal{M}</math> जिसमें यह आक्षेप सभी ए की तुलना में छोटे कार्डिनैलिटी के लिए है <math>\mathcal{M}</math> सजातीय कहा जाता है।
-वास्तविक संख्या रेखा उस भाषा में परमाणु होती है जिसमें केवल क्रम होता है <math><</math>, क्योंकि खाली सेट पर सभी एन-प्रकारों को एहसास हुआ  <math>a_1, \dots, a_n</math> में  <math>\mathbb{R}</math> के बीच के क्रम संबंधों द्वारा अलग-थलग हैं  <math>a_1, \dots, a_n</math>. हालांकि, यह संतृप्त नहीं है, क्योंकि यह गणनीय सेट पर किसी भी 1-प्रकार का एहसास नहीं करता है <math>\mathbb{Z}</math> इसका अर्थ है x किसी भी पूर्णांक से बड़ा होना।
+वास्तविक संख्या रेखा उस भाषा में परमाणु होती है जिसमें केवल क्रम होता है <math><</math>, क्योंकि खाली समुच्चय पर सभी एन-प्रकारों को अनुभव हुआ <math>a_1, \dots, a_n</math> में <math>\mathbb{R}</math> के बीच के क्रम संबंधों द्वारा अलग-थलग हैं <math>a_1, \dots, a_n</math>. हालांकि, यह संतृप्त नहीं है, क्योंकि यह गणनीय समुच्चय पर किसी भी 1-प्रकार का अनुभव नहीं करता है <math>\mathbb{Z}</math> इसका अर्थ है x किसी भी पूर्णांक से बड़ा होना।
-तर्कसंगत संख्या रेखा  <math>\mathbb{Q}</math> संतृप्त है, इसके विपरीत, के बाद से  <math>\mathbb{Q}</math> स्वयं गणनीय है और इसलिए केवल संतृप्त होने के लिए परिमित उपसमुच्चय पर प्रकारों का एहसास करना है।<ref>Marker, p. 125-155</ref>
+तर्कसंगत संख्या रेखा <math>\mathbb{Q}</math> संतृप्त है, इसके विपरीत, के बाद से <math>\mathbb{Q}</math> स्वयं गणनीय है और इसलिए केवल संतृप्त होने के लिए परिमित उपसमुच्चय पर प्रकारों का अनुभव करना है।<ref>Marker, p. 125-155</ref>
 === पत्थर की जगह ===
-के निश्चित उपसमुच्चय का सेट <math>\mathcal{M}^n</math> कुछ मापदंडों पर <math>A</math> एक [[बूलियन बीजगणित (संरचना)]] है। बूलियन बीजगणित के लिए स्टोन के प्रतिनिधित्व प्रमेय के अनुसार एक प्राकृतिक दोहरी स्थलीय स्थान है, जिसमें पूर्ण रूप से पूर्ण होता है <math>n</math>-टाइप ओवर <math>A</math>. फॉर्म के सेट [[आधार (टोपोलॉजी)]] बेस (टोपोलॉजी)। <math>\{p | \varphi \in p\}</math> एकल सूत्र के लिए <math>\varphi</math>. इसे A के ऊपर n-टाइप का स्टोन स्पेस कहा जाता है।<ref>Hodges (1993), p. 280</ref>
+के निश्चित उपसमुच्चय का समुच्चय <math>\mathcal{M}^n</math> कुछ मापदंडों पर <math>A</math> एक [[बूलियन बीजगणित (संरचना)]] है। बूलियन बीजगणित के लिए स्टोन के प्रतिनिधित्व प्रमेय के अनुसार एक प्राकृतिक दोहरी स्थलीय स्थान है, जिसमें पूर्ण रूप से पूर्ण होता है <math>n</math>-टाइप ओवर <math>A</math>. फॉर्म के समुच्चय [[आधार (टोपोलॉजी)]] बेस (टोपोलॉजी)। <math>\{p | \varphi \in p\}</math> एकल सूत्र के लिए <math>\varphi</math>. इसे A के ऊपर n-टाइप का स्टोन स्पेस कहा जाता है।<ref>Hodges (1993), p. 280</ref>
 यह टोपोलॉजी मॉडल सिद्धांत में उपयोग की जाने वाली कुछ शब्दावली की व्याख्या करती है: कॉम्पैक्टनेस प्रमेय का कहना है कि स्टोन स्पेस एक कॉम्पैक्ट टोपोलॉजिकल स्पेस है, और एक प्रकार पी अलग है अगर और केवल अगर पी स्टोन टोपोलॉजी में एक पृथक बिंदु है।
-जबकि बीजगणितीय रूप से बंद क्षेत्रों में प्रकार बहुपद अंगूठी के स्पेक्ट्रम के अनुरूप होते हैं, टाइप स्पेस पर टोपोलॉजी [[रचनात्मक टोपोलॉजी]] है: प्रकारों का एक सेट मूल [[खुला सेट]] है अगर यह फॉर्म का है <math>\{p: f(x) = 0 \in p\}</math> या रूप का <math>\{p: f(x) \neq 0 \in p\}</math>. यह [[जरिस्की टोपोलॉजी]] से बेहतर है।<ref>Marker, p. 124–125</ref>
+जबकि बीजगणितीय रूप से बंद क्षेत्रों में प्रकार बहुपद अंगूठी के स्पेक्ट्रम के अनुरूप होते हैं, टाइप स्पेस पर टोपोलॉजी [[रचनात्मक टोपोलॉजी]] है: प्रकारों का एक समुच्चय मूल [[खुला सेट|खुला समुच्चय]] है अगर यह फॉर्म का है <math>\{p: f(x) = 0 \in p\}</math> या रूप का <math>\{p: f(x) \neq 0 \in p\}</math>. यह [[जरिस्की टोपोलॉजी]] से बेहतर है।<ref>Marker, p. 124–125</ref>
 == निर्माण मॉडल ==
-=== एहसास और छोड़ने के प्रकार ===
+=== अनुभव और छोड़ने के प्रकार ===
-ऐसे मॉडलों का निर्माण करना जो कुछ प्रकारों को महसूस करते हैं और दूसरों को महसूस नहीं करते हैं, मॉडल सिद्धांत में एक महत्वपूर्ण कार्य है।
+ऐसे मॉडलों का निर्माण करना जो कुछ प्रकारों को अनुभव करते हैं और दूसरों को अनुभव नहीं करते हैं, मॉडल सिद्धांत में एक महत्वपूर्ण कार्य है।
-किसी प्रकार को महसूस न करने को इसे छोड़ने के रूप में संदर्भित किया जाता है, और आम तौर पर (गणनीय) प्रकार के प्रमेय को छोड़ना संभव है:
+किसी प्रकार को अनुभव न करने को इसे छोड़ने के रूप में संदर्भित किया जाता है, और सामान्यतः (गणनीय) प्रकार के प्रमेय को छोड़ना संभव है:
-:होने देना <math>\mathcal{T}</math> एक गणनीय हस्ताक्षर में एक सिद्धांत हो और चलो <math>\Phi</math> खाली सेट पर गैर-पृथक प्रकारों का एक गणनीय सेट हो।
+:होने देना <math>\mathcal{T}</math> एक गणनीय हस्ताक्षर में एक सिद्धांत हो और चलो <math>\Phi</math> खाली समुच्चय पर गैर-पृथक प्रकारों का एक गणनीय समुच्चय हो।
 : फिर एक मॉडल है <math>\mathcal{M}</math> का <math>\mathcal{T}</math> जो हर प्रकार को छोड़ देता है <math>\Phi</math>.<ref>Hodges (1993), p. 333</ref>
-इसका तात्पर्य यह है कि यदि एक गणनीय हस्ताक्षर में एक सिद्धांत केवल खाली सेट पर कई प्रकार के होते हैं, तो इस सिद्धांत का एक परमाणु मॉडल होता है।
+इसका तात्पर्य यह है कि यदि एक गणनीय हस्ताक्षर में एक सिद्धांत केवल खाली समुच्चय पर कई प्रकार के होते हैं, तो इस सिद्धांत का एक परमाणु मॉडल होता है।
-दूसरी ओर, हमेशा एक प्राथमिक विस्तार होता है जिसमें एक निश्चित पैरामीटर सेट पर किसी भी प्रकार के सेट का एहसास होता है:
+दूसरी ओर, सदैव एक प्राथमिक विस्तार होता है जिसमें एक निश्चित पैरामीटर समुच्चय पर किसी भी प्रकार के समुच्चय का अनुभव होता है:
-:होने देना <math>\mathcal{M}</math> एक संरचना बनो और चलो <math>\Phi</math> किसी दिए गए पैरामीटर सेट पर पूर्ण प्रकार का एक सेट हो <math>A \subset \mathcal{M}.</math>
+:होने देना <math>\mathcal{M}</math> एक संरचना बनो और चलो <math>\Phi</math> किसी दिए गए पैरामीटर समुच्चय पर पूर्ण प्रकार का एक समुच्चय हो <math>A \subset \mathcal{M}.</math>
-: फिर एक प्रारंभिक विस्तार है <math>\mathcal{N}</math> का <math>\mathcal{M}</math> जो हर प्रकार का एहसास कराता है <math>\Phi</math>.<ref>Hodges (1993), p. 451</ref>
+: फिर एक प्रारंभिक विस्तार है <math>\mathcal{N}</math> का <math>\mathcal{M}</math> जो हर प्रकार का अनुभव कराता है <math>\Phi</math>.<ref>Hodges (1993), p. 451</ref>
-हालाँकि, चूंकि पैरामीटर सेट तय है और यहाँ कार्डिनैलिटी का कोई उल्लेख नहीं है <math>\mathcal{N}</math>, इसका अर्थ यह नहीं है कि प्रत्येक सिद्धांत का एक संतृप्त मॉडल होता है।
+हालाँकि, चूंकि पैरामीटर समुच्चय तय है और यहाँ कार्डिनैलिटी का कोई उल्लेख नहीं है <math>\mathcal{N}</math>, इसका अर्थ यह नहीं है कि प्रत्येक सिद्धांत का एक संतृप्त मॉडल होता है।
-वास्तव में, प्रत्येक सिद्धांत में एक संतृप्त मॉडल है या नहीं, सेट सिद्धांत के [[ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध]]ों से स्वतंत्र है, और यह सच है अगर [[सामान्यीकृत सातत्य परिकल्पना]] है।<ref>Hodges (1993), 492</ref>
+वास्तव में, प्रत्येक सिद्धांत में एक संतृप्त मॉडल है या नहीं, समुच्चय सिद्धांत के [[ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध]]ों से स्वतंत्र है, और यह सच है अगर [[सामान्यीकृत सातत्य परिकल्पना]] है।<ref>Hodges (1993), 492</ref>
-=== [[अल्ट्राप्रोडक्ट]]्स ===
+=== [[अल्ट्राप्रोडक्ट]] ===
-अल्ट्राप्रोडक्ट्स का उपयोग उन मॉडलों के निर्माण के लिए एक सामान्य तकनीक के रूप में किया जाता है जो कुछ प्रकार का एहसास करते हैं।
+अल्ट्राप्रोडक्ट्स का उपयोग उन मॉडलों के निर्माण के लिए एक सामान्य तकनीक के रूप में किया जाता है जो कुछ प्रकार का अनुभव करते हैं।
-एक इंडेक्स सेट I पर संरचनाओं के एक सेट के [[प्रत्यक्ष उत्पाद]] से एक अल्ट्राप्रोडक्ट उन टुपल्स की पहचान करके प्राप्त किया जाता है जो लगभग सभी प्रविष्टियों पर सहमत होते हैं, जहां लगभग सभी को एक [[अल्ट्राफिल्टर (सेट सिद्धांत)]] यू द्वारा I पर सटीक बनाया जाता है। प्रतियों का एक अल्ट्राप्रोडक्ट एक ही संरचना के एक पराशक्ति के रूप में जाना जाता है।
+एक इंडेक्स समुच्चय I पर संरचनाओं के एक समुच्चय के [[प्रत्यक्ष उत्पाद]] से एक अल्ट्राप्रोडक्ट उन टुपल्स की पहचान करके प्राप्त किया जाता है जो लगभग सभी प्रविष्टियों पर सहमत होते हैं, जहां लगभग सभी को एक [[अल्ट्राफिल्टर (सेट सिद्धांत)|अल्ट्राफिल्टर (समुच्चय सिद्धांत)]] यू द्वारा I पर सटीक बनाया जाता है। प्रतियों का एक अल्ट्राप्रोडक्ट एक ही संरचना के एक पराशक्ति के रूप में जाना जाता है।
 मॉडल सिद्धांत में अल्ट्राप्रोडक्ट्स का उपयोग करने की कुंजी Łoś की प्रमेय है:
-: होने देना <math>\mathcal{M}_i</math> का एक सेट हो <math>\sigma</math>-संरचनाओं को इंडेक्स सेट I और U द्वारा I पर एक अल्ट्राफिल्टर द्वारा अनुक्रमित किया जाता है। फिर कोई <math>\sigma</math>-सूत्र <math>\varphi([(a_i)_{i \in :I}])</math> के अल्ट्राप्रोडक्ट में सत्य है <math>\mathcal{M}_i</math> द्वारा <math>U</math> अगर सभी का सेट <math>i \in I</math> जिसके लिए <math>\mathcal{M}_i \models \varphi(a_i)</math> U में है।<ref>Hodges (1993), p. 450</ref>
+: होने देना <math>\mathcal{M}_i</math> का एक समुच्चय हो <math>\sigma</math>-संरचनाओं को इंडेक्स समुच्चय I और U द्वारा I पर एक अल्ट्राफिल्टर द्वारा अनुक्रमित किया जाता है। फिर कोई <math>\sigma</math>-सूत्र <math>\varphi([(a_i)_{i \in :I}])</math> के अल्ट्राप्रोडक्ट में सत्य है <math>\mathcal{M}_i</math> द्वारा <math>U</math> अगर सभी का समुच्चय <math>i \in I</math> जिसके लिए <math>\mathcal{M}_i \models \varphi(a_i)</math> U में है।<ref>Hodges (1993), p. 450</ref>
 विशेष रूप से, किसी सिद्धांत के मॉडल का कोई भी अल्ट्राप्रोडक्ट स्वयं उस सिद्धांत का एक मॉडल है, और इस प्रकार यदि दो मॉडलों में आइसोमोर्फिक अल्ट्रापॉवर हैं, तो वे प्राथमिक रूप से समतुल्य हैं।
 कीस्लर-शेला प्रमेय एक विलोम प्रदान करता है:
-:अगर  <math>\mathcal{M}</math> और <math>\mathcal{N}</math> प्राथमिक समतुल्य हैं, तो I पर एक सेट I और एक अल्ट्राफिल्टर U है जैसे कि U द्वारा अल्ट्रापॉवर <math>\mathcal{M}</math> और :<math>\mathcal{N}</math> आइसोमोर्फिक हैं।<ref>Hodges (1993), p. 452</ref>
+:अगर <math>\mathcal{M}</math> और <math>\mathcal{N}</math> प्राथमिक समतुल्य हैं, तो I पर एक समुच्चय I और एक अल्ट्राफिल्टर U है जैसे कि U द्वारा अल्ट्रापॉवर <math>\mathcal{M}</math> और :<math>\mathcal{N}</math> आइसोमोर्फिक हैं।<ref>Hodges (1993), p. 452</ref>
 इसलिए, अल्ट्राप्रोडक्ट्स प्राथमिक तुल्यता के बारे में बात करने का एक तरीका प्रदान करते हैं जो पहले-क्रम के सिद्धांतों का उल्लेख करने से बचता है। मॉडल सिद्धांत के मूल प्रमेय जैसे कॉम्पैक्टनेस प्रमेय में अल्ट्राप्रोडक्ट्स का उपयोग करके वैकल्पिक प्रमाण हैं,<ref>Bell and Slomson, p. 102</ref> और यदि वे मौजूद हैं तो उनका उपयोग संतृप्त प्राथमिक विस्तार के निर्माण के लिए किया जा सकता है।<ref>Hodges (1993), p. 492</ref>
 == श्रेणी ==
-{{main|Categorical theory}}
+{{main|श्रेणीबद्ध सिद्धांत}}
 एक सिद्धांत को मूल रूप से श्रेणीबद्ध कहा जाता था यदि यह समरूपता तक की संरचना निर्धारित करता है। यह पता चला है कि प्रथम-क्रम तर्क की अभिव्यक्ति में गंभीर प्रतिबंधों के कारण यह परिभाषा उपयोगी नहीं है। लोवेनहाइम-स्कोलेम प्रमेय का तात्पर्य है कि यदि एक सिद्धांत टी में कुछ अनंत कार्डिनल संख्या के लिए एक अनंत मॉडल है, तो उसके पास पर्याप्त रूप से बड़ी कार्डिनल संख्या κ के आकार का एक मॉडल है। चूंकि विभिन्न आकारों के दो मॉडल संभवतः समरूपी नहीं हो सकते हैं, केवल परिमित संरचनाओं को एक श्रेणीबद्ध सिद्धांत द्वारा वर्णित किया जा सकता है।
@@ Line 227: / Line 214: @@
 : # प्रत्येक प्राकृतिक संख्या n के लिए, सूत्रों की संख्या φ(x<sub>1</sub>, ..., एक्स<sub>n</sub>) n मुक्त चरों में, तुल्यता सापेक्ष T तक, परिमित है।
-का सिद्धांत <math>(\mathbb{Q},<)</math>का सिद्धांत भी है <math>(\mathbb{R},<)</math>, है <math>\omega</math>-श्रेणीबद्ध, हर एन-प्रकार के रूप में <math>p(x_1, \dots, x_n)</math> खाली सेट के बीच जोड़ीदार क्रम संबंध द्वारा अलग किया जाता है <math>x_i</math>.
+का सिद्धांत <math>(\mathbb{Q},<)</math>का सिद्धांत भी है <math>(\mathbb{R},<)</math>, है <math>\omega</math>-श्रेणीबद्ध, हर एन-प्रकार के रूप में <math>p(x_1, \dots, x_n)</math> खाली समुच्चय के बीच जोड़ीदार क्रम संबंध द्वारा अलग किया जाता है <math>x_i</math>.
 इसका अर्थ है कि प्रत्येक गणनीय सघन रेखीय क्रम परिमेय संख्या रेखा के लिए क्रम-समरूपी है। दूसरी ओर, के सिद्धांत <math>\mathbb{Q}</math>, <math>\mathbb{R}</math> और <math>\mathbb{C}</math> जैसे फ़ील्ड नहीं हैं <math>\omega</math>-श्रेणीबद्ध। यह इस तथ्य से अनुसरण करता है कि उन सभी क्षेत्रों में, असीम रूप से कई प्राकृतिक संख्याओं में से किसी को भी सूत्र के रूप में परिभाषित किया जा सकता है <math> x = 1 + \dots + 1 </math>.
@@ Line 250: / Line 237: @@
 == स्थिरता सिद्धांत ==
-{{main|Stable theory}}
+{{main|स्थिर सिद्धांत}}
 प्रथम-क्रम सिद्धांत के मॉडल के वर्ग की संरचना में एक महत्वपूर्ण कारक स्थिरता पदानुक्रम में इसका स्थान है।
-: एक पूर्ण सिद्धांत टी कहा जाता है<math>\lambda</math>-एक कार्डिनल के लिए स्थिर <math>\lambda</math> अगर किसी मॉडल के लिए <math>\mathcal{M}</math> टी और किसी भी पैरामीटर सेट का <math>A \subset \mathcal{M}</math> की : कार्डिनैलिटी से अधिक नहीं <math>\lambda</math>, अधिक से अधिक हैं <math>\lambda</math> ए पर पूर्ण टी-प्रकार।
+: एक पूर्ण सिद्धांत टी कहा जाता है<math>\lambda</math>-एक कार्डिनल के लिए स्थिर <math>\lambda</math> अगर किसी मॉडल के लिए <math>\mathcal{M}</math> टी और किसी भी पैरामीटर समुच्चय का <math>A \subset \mathcal{M}</math> की : कार्डिनैलिटी से अधिक नहीं <math>\lambda</math>, अधिक से अधिक हैं <math>\lambda</math> ए पर पूर्ण टी-प्रकार।
 एक सिद्धांत को स्थिर कहा जाता है यदि यह है <math>\lambda</math>कुछ अनंत कार्डिनल के लिए स्थिर <math>\lambda</math>. परंपरागत रूप से, सिद्धांत हैं <math>\aleph_0</math>-स्थिर कहलाते हैं<math>\omega</math>-स्थिर।<ref>Marker, p. 135</ref>
@@ Line 261: / Line 248: @@
 # कोई कार्डिनल नहीं हैं <math>\lambda</math> ऐसा है कि टी है <math>\lambda</math>-स्थिर।
 # टी है <math>\lambda</math>-स्थिर अगर और केवल अगर <math>\lambda^{\aleph_0} = \lambda</math> (स्पष्टीकरण के लिए [[कार्डिनल घातांक]] देखें <math>\lambda^{\aleph_0}</math>).
-# टी है <math>\lambda</math>-किसी के लिए स्थिर <math>\lambda \geq 2^{\aleph_0}</math> (कहाँ <math>2^{\aleph_0}</math> [[सातत्य (सेट सिद्धांत)]] की प्रमुखता है)।
+# टी है <math>\lambda</math>-किसी के लिए स्थिर <math>\lambda \geq 2^{\aleph_0}</math> (कहाँ <math>2^{\aleph_0}</math> [[सातत्य (सेट सिद्धांत)|सातत्य (समुच्चय सिद्धांत)]] की प्रमुखता है)।
 पहले प्रकार के सिद्धांत को अस्थिर कहा जाता है, दूसरे प्रकार के सिद्धांत को सख्ती से स्थिर कहा जाता है और तीसरे प्रकार के सिद्धांत को सुपरस्टेबल कहा जाता है।
@@ Line 267: / Line 254: @@
 स्थिर सिद्धांतों तक सीमित होने पर मॉडल सिद्धांत में कई निर्माण आसान होते हैं; उदाहरण के लिए, एक स्थिर सिद्धांत के प्रत्येक मॉडल में एक संतृप्त प्राथमिक विस्तार होता है, भले ही सामान्यीकृत सातत्य परिकल्पना सत्य हो या नहीं।<ref>Hodges (1993), p. 494</ref>
-स्थिर सिद्धांतों का अध्ययन करने के लिए शेला की मूल प्रेरणा यह तय करना था कि एक गणनीय सिद्धांत में किसी भी बेशुमार कार्डिनैलिटी के कितने मॉडल हैं।<ref>{{Cite book|last=Saharon.|first=Shelah|url=http://worldcat.org/oclc/800472113|title=Classification theory and the number of non-isomorphic models|date=1990|publisher=North-Holland|isbn=0-444-70260-1|oclc=800472113}}</ref> यदि कोई सिद्धांत बेशुमार श्रेणीबद्ध है, तो यह है <math>\omega</math>-स्थिर। अधिक आम तौर पर, एक सिद्धांत के स्पेक्ट्रम का तात्पर्य है कि यदि कोई बेशुमार कार्डिनल है <math>\lambda</math> ऐसा है कि एक सिद्धांत टी से कम है <math>2^{\lambda}</math> कार्डिनैलिटी के मॉडल <math>\lambda</math>, तो T सुपरस्टेबल है।
+स्थिर सिद्धांतों का अध्ययन करने के लिए शेला की मूल प्रेरणा यह तय करना था कि एक गणनीय सिद्धांत में किसी भी बेशुमार कार्डिनैलिटी के कितने मॉडल हैं।<ref>{{Cite book|last=Saharon.|first=Shelah|url=http://worldcat.org/oclc/800472113|title=Classification theory and the number of non-isomorphic models|date=1990|publisher=North-Holland|isbn=0-444-70260-1|oclc=800472113}}</ref> यदि कोई सिद्धांत बेशुमार श्रेणीबद्ध है, तो यह है <math>\omega</math>-स्थिर। अधिक सामान्यतः, एक सिद्धांत के स्पेक्ट्रम का तात्पर्य है कि यदि कोई बेशुमार कार्डिनल है <math>\lambda</math> ऐसा है कि एक सिद्धांत टी से कम है <math>2^{\lambda}</math> कार्डिनैलिटी के मॉडल <math>\lambda</math>, तो T सुपरस्टेबल है।
 ===ज्यामितीय स्थिरता सिद्धांत===
-सिद्धांत के एक मॉडल के भीतर निश्चित सेटों की ज्यामिति का विश्लेषण करने के लिए स्थिरता पदानुक्रम भी महत्वपूर्ण है।
+सिद्धांत के एक मॉडल के भीतर निश्चित समुच्चयों की ज्यामिति का विश्लेषण करने के लिए स्थिरता पदानुक्रम भी महत्वपूर्ण है।
-में <math>\omega</math>-स्थिर सिद्धांत, [[मॉर्ले रैंक]] एक मॉडल के भीतर निश्चित सेट एस के लिए एक महत्वपूर्ण आयाम धारणा है। इसे [[ट्रांसफिनिट इंडक्शन]] द्वारा परिभाषित किया गया है:
+में <math>\omega</math>-स्थिर सिद्धांत, [[मॉर्ले रैंक]] एक मॉडल के भीतर निश्चित समुच्चय एस के लिए एक महत्वपूर्ण आयाम धारणा है। इसे [[ट्रांसफिनिट इंडक्शन]] द्वारा परिभाषित किया गया है:
 *मॉर्ली रैंक कम से कम 0 है यदि एस खाली नहीं है।
-* α एक [[उत्तराधिकारी क्रमसूचक]] के लिए, मॉर्ले रैंक कम से कम α है यदि M के कुछ [[प्राथमिक विस्तार]] N में, सेट S में असीम रूप से कई अलग-अलग निश्चित उपसमुच्चय हैं, प्रत्येक रैंक कम से कम α − 1 है।
+* α एक [[उत्तराधिकारी क्रमसूचक]] के लिए, मॉर्ले रैंक कम से कम α है यदि M के कुछ [[प्राथमिक विस्तार]] N में, समुच्चय S में असीम रूप से कई अलग-अलग निश्चित उपसमुच्चय हैं, प्रत्येक रैंक कम से कम α − 1 है।
 * α के लिए एक गैर-शून्य सीमा क्रमसूचक, मॉर्ले रैंक कम से कम α है यदि यह α से कम सभी β के लिए कम से कम β है।
-एक सिद्धांत टी जिसमें प्रत्येक परिभाषित सेट में अच्छी तरह से परिभाषित मॉर्ले रैंक है, को पूरी तरह से पारलौकिक कहा जाता है; यदि T गणनीय है, तो T पूरी तरह से पारलौकिक है यदि और केवल यदि T है <math>\omega</math>-स्थिर।
+एक सिद्धांत टी जिसमें प्रत्येक परिभाषित समुच्चय में अच्छी तरह से परिभाषित मॉर्ले रैंक है, को पूरी तरह से पारलौकिक कहा जाता है; यदि T गणनीय है, तो T पूरी तरह से पारलौकिक है यदि और केवल यदि T है <math>\omega</math>-स्थिर।
-मॉर्ले रैंक को टाइप में फॉर्मूले के मॉर्ले रैंक के न्यूनतम होने के लिए एक प्रकार के मॉर्ले रैंक को सेट करके प्रकारों तक बढ़ाया जा सकता है। इस प्रकार, एक पैरामीटर सेट ए पर एक तत्व के मॉर्ले रैंक के बारे में भी बात कर सकता है, जिसे ओवर ए के प्रकार के मॉर्ले रैंक के रूप में परिभाषित किया गया है।
+मॉर्ले रैंक को टाइप में फॉर्मूले के मॉर्ले रैंक के न्यूनतम होने के लिए एक प्रकार के मॉर्ले रैंक को समुच्चय करके प्रकारों तक बढ़ाया जा सकता है। इस प्रकार, एक पैरामीटर समुच्चय ए पर एक तत्व के मॉर्ले रैंक के बारे में भी बात कर सकता है, जिसे ओवर ए के प्रकार के मॉर्ले रैंक के रूप में परिभाषित किया गया है।
 मॉर्ले रैंक के अनुरूप भी हैं जो अच्छी तरह से परिभाषित हैं अगर और केवल अगर कोई सिद्धांत सुपरस्टेबल ([[यू-रैंक]]) या केवल स्थिर है (शेला का) <math>\infty</math>-पद)।
 उन आयाम धारणाओं का उपयोग स्वतंत्रता और सामान्य विस्तार की धारणाओं को परिभाषित करने के लिए किया जा सकता है।
@@ Line 290: / Line 277: @@
 मॉडल-सैद्धांतिक परिणामों को प्राथमिक कक्षाओं से परे सामान्यीकृत किया गया है, अर्थात, प्रथम-क्रम सिद्धांत द्वारा अभिगृहीत वर्ग।
-उच्च-क्रम तर्कशास्त्र या असीमित तर्कशास्त्र में मॉडल सिद्धांत इस तथ्य से बाधित है कि गोडेल की पूर्णता प्रमेय और कॉम्पैक्टनेस प्रमेय इन तर्कों के लिए सामान्य रूप से पकड़ में नहीं आते हैं। यह लिंडस्ट्रॉम के प्रमेय द्वारा ठोस बनाया गया है, मोटे तौर पर यह बताते हुए कि प्रथम-क्रम तर्क अनिवार्य रूप से सबसे मजबूत तर्क है जिसमें लोवेनहेम-स्कोलेम प्रमेय और कॉम्पैक्टनेस दोनों हैं। हालाँकि, इन लॉजिक्स के लिए भी मॉडल थ्योरिटिक तकनीकों को बड़े पैमाने पर विकसित किया गया है।<ref>{{Citation|last=Barwise|first=J.|editor1-first=J|editor1-last=Barwise|editor2-first=S|editor2-last=Feferman|title=Model-Theoretic Logics: Background and Aims|url=http://dx.doi.org/10.1017/9781316717158.004|work=Model-Theoretic Logics|year=2016|pages=3–24|place=Cambridge|publisher=Cambridge University Press|doi=10.1017/9781316717158.004|isbn=9781316717158|access-date=2022-01-15}}</ref> हालाँकि, यह पता चला है कि अधिक अभिव्यंजक तार्किक भाषाओं का अधिकांश मॉडल [[ज़र्मेलो-फ्रेंकेल सेट सिद्धांत]] से स्वतंत्र है।<ref>{{Cite journal|last=Shelah|first=Saharon|date=2000|title=On what I do not understand and have something to say (model theory)|journal=Fundamenta Mathematicae|volume=166|issue=1|pages=1–82|doi=10.4064/fm-166-1-2-1-82|issn=0016-2736|arxiv=math/9910158|s2cid=116922041|url=https://www.impan.pl/en/publishing-house/journals-and-series/fundamenta-mathematicae/all/166/1/111712/on-what-i-do-not-understand-and-have-something-to-say-part-i}}</ref>
+उच्च-क्रम तर्कशास्त्र या असीमित तर्कशास्त्र में मॉडल सिद्धांत इस तथ्य से बाधित है कि गोडेल की पूर्णता प्रमेय और कॉम्पैक्टनेस प्रमेय इन तर्कों के लिए सामान्य रूप से पकड़ में नहीं आते हैं। यह लिंडस्ट्रॉम के प्रमेय द्वारा ठोस बनाया गया है, मोटे तौर पर यह बताते हुए कि प्रथम-क्रम तर्क अनिवार्य रूप से सबसे मजबूत तर्क है जिसमें लोवेनहेम-स्कोलेम प्रमेय और कॉम्पैक्टनेस दोनों हैं। हालाँकि, इन लॉजिक्स के लिए भी मॉडल थ्योरिटिक तकनीकों को बड़े पैमाने पर विकसित किया गया है।<ref>{{Citation|last=Barwise|first=J.|editor1-first=J|editor1-last=Barwise|editor2-first=S|editor2-last=Feferman|title=Model-Theoretic Logics: Background and Aims|url=http://dx.doi.org/10.1017/9781316717158.004|work=Model-Theoretic Logics|year=2016|pages=3–24|place=Cambridge|publisher=Cambridge University Press|doi=10.1017/9781316717158.004|isbn=9781316717158|access-date=2022-01-15}}</ref> हालाँकि, यह पता चला है कि अधिक अभिव्यंजक तार्किक भाषाओं का अधिकांश मॉडल [[ज़र्मेलो-फ्रेंकेल सेट सिद्धांत|ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत]] से स्वतंत्र है।<ref>{{Cite journal|last=Shelah|first=Saharon|date=2000|title=On what I do not understand and have something to say (model theory)|journal=Fundamenta Mathematicae|volume=166|issue=1|pages=1–82|doi=10.4064/fm-166-1-2-1-82|issn=0016-2736|arxiv=math/9910158|s2cid=116922041|url=https://www.impan.pl/en/publishing-house/journals-and-series/fundamenta-mathematicae/all/166/1/111712/on-what-i-do-not-understand-and-have-something-to-say-part-i}}</ref>
 हाल ही में, स्थिर और श्रेणीबद्ध सिद्धांतों को पूरा करने के लिए फोकस में बदलाव के साथ-साथ, एक तार्किक सिद्धांत द्वारा स्वयंसिद्ध के बजाय सिमेंटिक रूप से परिभाषित मॉडलों के वर्गों पर काम किया गया है।
-एक उदाहरण सजातीय मॉडल सिद्धांत है, जो मनमाने ढंग से बड़े सजातीय मॉडल के अवसंरचना के वर्ग का अध्ययन करता है। स्थिरता सिद्धांत और ज्यामितीय स्थिरता सिद्धांत के मौलिक परिणाम इस सेटिंग का सामान्यीकरण करते हैं।<ref>{{Cite journal|last1=Buechler|first1=Steven|last2=Lessmann|first2=Olivier|date=2002-10-08|title=Simple homogeneous models|url=http://dx.doi.org/10.1090/s0894-0347-02-00407-1|journal=Journal of the American Mathematical Society|volume=16|issue=1|pages=91–121|doi=10.1090/s0894-0347-02-00407-1|s2cid=12044966|issn=0894-0347|doi-access=free}}</ref>
+एक उदाहरण सजातीय मॉडल सिद्धांत है, जो मनमाने ढंग से बड़े सजातीय मॉडल के अवसंरचना के वर्ग का अध्ययन करता है। स्थिरता सिद्धांत और ज्यामितीय स्थिरता सिद्धांत के मौलिक परिणाम इस समुच्चयिंग का सामान्यीकरण करते हैं।<ref>{{Cite journal|last1=Buechler|first1=Steven|last2=Lessmann|first2=Olivier|date=2002-10-08|title=Simple homogeneous models|url=http://dx.doi.org/10.1090/s0894-0347-02-00407-1|journal=Journal of the American Mathematical Society|volume=16|issue=1|pages=91–121|doi=10.1090/s0894-0347-02-00407-1|s2cid=12044966|issn=0894-0347|doi-access=free}}</ref>
-दृढ़ता से न्यूनतम सिद्धांतों के सामान्यीकरण के रूप में, [[क्वासिमिनिमल उत्कृष्टता]] वर्ग वे होते हैं जिनमें प्रत्येक निश्चित सेट या तो गणनीय या सह-गणनीय होता है। वे [[जटिल घातीय कार्य]] के मॉडल सिद्धांत के लिए महत्वपूर्ण हैं।<ref>{{Citation|last=Marker|first=David|title=Quasiminimal excellence|url=http://dx.doi.org/10.1017/cbo9781316855560.009|work=Lectures on Infinitary Model Theory|year=2016|pages=97–112|place=Cambridge|publisher=Cambridge University Press|doi=10.1017/cbo9781316855560.009|isbn=9781316855560|access-date=2022-01-23}}</ref>
+दृढ़ता से न्यूनतम सिद्धांतों के सामान्यीकरण के रूप में, [[क्वासिमिनिमल उत्कृष्टता]] वर्ग वे होते हैं जिनमें प्रत्येक निश्चित समुच्चय या तो गणनीय या सह-गणनीय होता है। वे [[जटिल घातीय कार्य]] के मॉडल सिद्धांत के लिए महत्वपूर्ण हैं।<ref>{{Citation|last=Marker|first=David|title=Quasiminimal excellence|url=http://dx.doi.org/10.1017/cbo9781316855560.009|work=Lectures on Infinitary Model Theory|year=2016|pages=97–112|place=Cambridge|publisher=Cambridge University Press|doi=10.1017/cbo9781316855560.009|isbn=9781316855560|access-date=2022-01-23}}</ref>
 सबसे सामान्य सिमेंटिक फ्रेमवर्क जिसमें स्थिरता का अध्ययन किया जाता है, अमूर्त प्राथमिक वर्ग हैं, जो कि एक प्राथमिक सबस्ट्रक्चर के सामान्यीकरण के एक मजबूत सबस्ट्रक्चर रिलेशन द्वारा परिभाषित होते हैं। भले ही इसकी परिभाषा विशुद्ध रूप से शब्दार्थ है, प्रत्येक अमूर्त प्राथमिक वर्ग को प्रथम-क्रम के सिद्धांत के मॉडल के रूप में प्रस्तुत किया जा सकता है जो कुछ प्रकारों को छोड़ देता है। सार प्राथमिक कक्षाओं के लिए स्थिरता-सैद्धांतिक धारणाओं का सामान्यीकरण एक सतत शोध कार्यक्रम है।<ref>{{Cite book|last=Baldwin|first=John|title=श्रेणी|series=University Lecture Series|date=2009-07-24|volume=50|doi=10.1090/ulect/050|place=Providence, Rhode Island|publisher=American Mathematical Society|isbn=9780821848937}}</ref>
@@ Line 299: / Line 286: @@
 == चयनित अनुप्रयोग ==
-मॉडल सिद्धांत की शुरुआती सफलताओं में विभिन्न बीजगणितीय रूप से दिलचस्प वर्गों के लिए क्वांटिफायर एलिमिनेशन के टार्स्की के प्रमाण हैं, जैसे [[वास्तविक बंद क्षेत्र]], बूलियन बीजगणित (संरचना) और किसी दिए गए [[विशेषता (बीजगणित)]] के बीजगणितीय रूप से बंद क्षेत्र। क्वांटिफायर एलिमिनेशन ने टार्स्की को यह दिखाने की अनुमति दी कि वास्तविक-बंद और बीजीय रूप से बंद क्षेत्रों के पहले-क्रम के सिद्धांत और साथ ही बूलियन बीजगणित के पहले-क्रम के सिद्धांत निर्णायक हैं, बूलियन बीजगणित को प्राथमिक तुल्यता तक वर्गीकृत करते हैं और दिखाते हैं कि वास्तविक के सिद्धांत- बंद क्षेत्र और किसी दिए गए विशेषता के बीजगणितीय रूप से बंद क्षेत्र अद्वितीय हैं। इसके अलावा, क्वांटिफायर एलिमिनेशन ने बीजगणितीय रूप से बंद क्षेत्रों पर बीजगणितीय किस्मों के रूप में और अर्ध-बीजगणितीय सेटों के रूप में वास्तविक-बंद क्षेत्रों पर परिभाषित संबंधों का एक सटीक विवरण प्रदान किया।  <ref>Hodges (1993), p. 68-69</ref><ref>{{Cite journal|last1=Doner|first1=John|last2=Hodges|first2=Wilfrid|date=March 1988|title=Alfred Tarski and Decidable Theories|url=http://dx.doi.org/10.2307/2274425|journal=The Journal of Symbolic Logic|volume=53|issue=1|pages=20|doi=10.2307/2274425|jstor=2274425|issn=0022-4812}}</ref>
+मॉडल सिद्धांत की प्रारम्भिक सफलताओं में विभिन्न बीजगणितीय रूप से दिलचस्प वर्गों के लिए क्वांटिफायर एलिमिनेशन के टार्स्की के प्रमाण हैं, जैसे [[वास्तविक बंद क्षेत्र]], बूलियन बीजगणित (संरचना) और किसी दिए गए [[विशेषता (बीजगणित)]] के बीजगणितीय रूप से बंद क्षेत्र। क्वांटिफायर एलिमिनेशन ने टार्स्की को यह दिखाने की अनुमति दी कि वास्तविक-बंद और बीजीय रूप से बंद क्षेत्रों के पहले-क्रम के सिद्धांत और साथ ही बूलियन बीजगणित के पहले-क्रम के सिद्धांत निर्णायक हैं, बूलियन बीजगणित को प्राथमिक तुल्यता तक वर्गीकृत करते हैं और दिखाते हैं कि वास्तविक के सिद्धांत- बंद क्षेत्र और किसी दिए गए विशेषता के बीजगणितीय रूप से बंद क्षेत्र अद्वितीय हैं। इसके अलावा, क्वांटिफायर एलिमिनेशन ने बीजगणितीय रूप से बंद क्षेत्रों पर बीजगणितीय किस्मों के रूप में और अर्ध-बीजगणितीय समुच्चयों के रूप में वास्तविक-बंद क्षेत्रों पर परिभाषित संबंधों का एक सटीक विवरण प्रदान किया। <ref>Hodges (1993), p. 68-69</ref><ref>{{Cite journal|last1=Doner|first1=John|last2=Hodges|first2=Wilfrid|date=March 1988|title=Alfred Tarski and Decidable Theories|url=http://dx.doi.org/10.2307/2274425|journal=The Journal of Symbolic Logic|volume=53|issue=1|pages=20|doi=10.2307/2274425|jstor=2274425|issn=0022-4812}}</ref>
-के दशक में, अल्ट्राप्रोडक्ट निर्माण की शुरूआत ने बीजगणित में नए अनुप्रयोगों को जन्म दिया। इसमें जेम्स एक्स | एक्स का छद्म क्षेत्रों पर काम शामिल है, यह साबित करते हुए कि परिमित क्षेत्रों का सिद्धांत निर्णायक है,<ref>{{Citation|last=Eklof|first=Paul C.|title=Ultraproducts for Algebraists|date=1977|url=http://dx.doi.org/10.1016/s0049-237x(08)71099-1|work=HANDBOOK OF MATHEMATICAL LOGIC|series=Studies in Logic and the Foundations of Mathematics|volume=90|pages=105–137|publisher=Elsevier|doi=10.1016/s0049-237x(08)71099-1|isbn=9780444863881|access-date=2022-01-23}}</ref> और एक्स और साइमन बी. कोचेन | डायोफैंटाइन समीकरणों पर आर्टिन के अनुमान के विशेष मामले के रूप में कोचेन का प्रमाण, एक्स-कोचेन प्रमेय।<ref>{{Cite journal|last1=Ax|first1=James|last2=Kochen|first2=Simon|date=1965|title=Diophantine Problems Over Local Fields: I. |journal=American Journal of Mathematics|volume=87pages=605-630}}</ref> अल्ट्राप्रॉडक्ट निर्माण ने [[अब्राहम रॉबिन्सन]] के गैर-मानक विश्लेषण के विकास का भी नेतृत्व किया, जिसका उद्देश्य [[infinimals]] की एक कठोर गणना प्रदान करना है।<ref>{{Citation|last1=Cherlin|first1=Greg|title=Ultrafilters and Ultraproducts in Non-Standard Analysis|date=1972|url=http://dx.doi.org/10.1016/s0049-237x(08)71563-5|work=Contributions to Non-Standard Analysis|pages=261–279|publisher=Elsevier|access-date=2022-01-23|last2=Hirschfeld|first2=Joram|series=Studies in Logic and the Foundations of Mathematics|volume=69|doi=10.1016/s0049-237x(08)71563-5|isbn=9780720420654}}</ref>
+के दशक में, अल्ट्राप्रोडक्ट निर्माण की शुरूआत ने बीजगणित में नए अनुप्रयोगों को जन्म दिया। इसमें जेम्स एक्स | एक्स का छद्म क्षेत्रों पर काम सम्मिलित है, यह प्रमाणित करते हुए कि परिमित क्षेत्रों का सिद्धांत निर्णायक है,<ref>{{Citation|last=Eklof|first=Paul C.|title=Ultraproducts for Algebraists|date=1977|url=http://dx.doi.org/10.1016/s0049-237x(08)71099-1|work=HANDBOOK OF MATHEMATICAL LOGIC|series=Studies in Logic and the Foundations of Mathematics|volume=90|pages=105–137|publisher=Elsevier|doi=10.1016/s0049-237x(08)71099-1|isbn=9780444863881|access-date=2022-01-23}}</ref> और एक्स और साइमन बी. कोचेन | डायोफैंटाइन समीकरणों पर आर्टिन के अनुमान के विशेष मामले के रूप में कोचेन का प्रमाण, एक्स-कोचेन प्रमेय।<ref>{{Cite journal|last1=Ax|first1=James|last2=Kochen|first2=Simon|date=1965|title=Diophantine Problems Over Local Fields: I. |journal=American Journal of Mathematics|volume=87pages=605-630}}</ref> अल्ट्राप्रॉडक्ट निर्माण ने [[अब्राहम रॉबिन्सन]] के गैर-मानक विश्लेषण के विकास का भी नेतृत्व किया, जिसका उद्देश्य [[infinimals]] की एक कठोर गणना प्रदान करना है।<ref>{{Citation|last1=Cherlin|first1=Greg|title=Ultrafilters and Ultraproducts in Non-Standard Analysis|date=1972|url=http://dx.doi.org/10.1016/s0049-237x(08)71563-5|work=Contributions to Non-Standard Analysis|pages=261–279|publisher=Elsevier|access-date=2022-01-23|last2=Hirschfeld|first2=Joram|series=Studies in Logic and the Foundations of Mathematics|volume=69|doi=10.1016/s0049-237x(08)71563-5|isbn=9780720420654}}</ref>
-अभी हाल ही में, निश्चित सेटों की स्थिरता और ज्यामिति के बीच संबंध ने बीजगणितीय और डायोफैंटाइन ज्यामिति से कई अनुप्रयोगों को जन्म दिया, जिसमें [[एहुद ख्रुशोव्स्की]] का 1996 का सभी विशेषताओं में ज्यामितीय [[मोर्डेल-लैंग अनुमान]] का प्रमाण शामिल है।<ref>Ehud Hrushovski, The  Mordell-Lang  Conjecture for  Function  Fields. [[Journal of the American Mathematical Society]] 9:3 (1996), pp. 667-690.</ref> 2001 में, मैनिन-ममफोर्ड अनुमान के सामान्यीकरण को साबित करने के लिए इसी तरह के तरीकों का इस्तेमाल किया गया था।
+अभी हाल ही में, निश्चित समुच्चयों की स्थिरता और ज्यामिति के बीच संबंध ने बीजगणितीय और डायोफैंटाइन ज्यामिति से कई अनुप्रयोगों को जन्म दिया, जिसमें [[एहुद ख्रुशोव्स्की]] का 1996 का सभी विशेषताओं में ज्यामितीय [[मोर्डेल-लैंग अनुमान]] का प्रमाण सम्मिलित है।<ref>Ehud Hrushovski, The  Mordell-Lang  Conjecture for  Function  Fields. [[Journal of the American Mathematical Society]] 9:3 (1996), pp. 667-690.</ref> 2001 में, मैनिन-ममफोर्ड अनुमान के सामान्यीकरण को प्रमाणित करने के लिए इसी तरह के तरीकों का इस्तेमाल किया गया था।
-में, [[जोनाथन पिला]] ने मॉड्यूलर घटता के उत्पादों के लिए आंद्रे-ऊर्ट अनुमान को साबित करने के लिए [[ओ-न्यूनता]] के आसपास तकनीकों को लागू किया।<ref>Jonathan Pila, Rational points of definable sets and results of André–Oort–Manin–Mumford type, O-minimality and the André–Oort conjecture for ''C''<sup>''n''</sup>. [[Annals of Mathematics]] 173:3 (2011), pp. 1779–1840. doi=10.4007/annals.2011.173.3.11</ref>
+में, [[जोनाथन पिला]] ने मॉड्यूलर घटता के उत्पादों के लिए आंद्रे-ऊर्ट अनुमान को प्रमाणित करने के लिए [[ओ-न्यूनता]] के आसपास तकनीकों को लागू किया।<ref>Jonathan Pila, Rational points of definable sets and results of André–Oort–Manin–Mumford type, O-minimality and the André–Oort conjecture for ''C''<sup>''n''</sup>. [[Annals of Mathematics]] 173:3 (2011), pp. 1779–1840. doi=10.4007/annals.2011.173.3.11</ref>
 पूछताछ की एक अलग कड़ी में, जो स्थिर सिद्धांतों के इर्द-गिर्द भी विकसित हुई, लस्कॉस्की ने 1992 में दिखाया कि एनआईपी (मॉडल सिद्धांत) सटीक रूप से उन परिभाषित वर्गों का वर्णन करता है जो मशीन लर्निंग सिद्धांत में संभवतः लगभग सही लर्निंग|पीएसी-सीखने योग्य हैं। इससे इन अलग-अलग क्षेत्रों के बीच कई संपर्क हुए हैं। 2018 में, पत्राचार को बढ़ाया गया क्योंकि हंटर और चेज़ ने दिखाया कि स्थिर सिद्धांत [[ऑनलाइन मशीन लर्निंग]] के अनुरूप हैं।<ref>{{Cite journal|last1=CHASE|first1=HUNTER|last2=FREITAG|first2=JAMES|title=Model Theory and Machine Learning|date=2019-02-15|url=http://dx.doi.org/10.1017/bsl.2018.71|journal=The Bulletin of Symbolic Logic|volume=25|issue=3|pages=319–332|doi=10.1017/bsl.2018.71|arxiv=1801.06566|s2cid=119689419|issn=1079-8986}}</ref>
@@ Line 308: / Line 295: @@
 == इतिहास ==
-एक विषय के रूप में मॉडल सिद्धांत लगभग 20वीं शताब्दी के मध्य से अस्तित्व में है, और यह नाम 1954 में Lwów-Warsaw स्कूल के एक सदस्य अल्फ्रेड टार्स्की द्वारा गढ़ा गया था।<ref>{{Cite journal|last=Tarski|first=Alfred|date=1954|title=Contributions to the Theory of Models. I|journal=Indagationes Mathematicae |volume=57|pages=572–581|doi=10.1016/S1385-7258(54)50074-0|issn=1385-7258}}</ref> हालाँकि, पहले के कुछ शोध, विशेष रूप से गणितीय तर्क में, अक्सर रेट्रोस्पेक्ट में एक मॉडल-सैद्धांतिक प्रकृति के होने के रूप में माने जाते हैं।<ref>{{Cite book|last1=Button|first1=Tim|last2=Walsh|first2=Sean|date=2018-05-24|contribution=Historical Appendix: A short history of model theory|title=Philosophy and model theory|contributor=Wilfrid Hodges|page=439|doi=10.1093/oso/9780198790396.003.0018}}</ref> अब जो मॉडल सिद्धांत है उसमें पहला महत्वपूर्ण परिणाम डाउनवर्ड लोवेनहेम-स्कोलेम प्रमेय का एक विशेष मामला था, जिसे 1915 में लियोपोल्ड लोवेनहेम द्वारा प्रकाशित किया गया था। कॉम्पैक्टनेस प्रमेय [[थोराल्फ़ स्कोलेम]] द्वारा काम में निहित था,<ref>"All three commentators [i.e. Vaught, van Heijenoort and Dreben] agree that both the completeness and compactness theorems were implicit in Skolem 1923&hellip;." [{{Cite journal | doi = 10.1080/01445349308837208| title = The compactness of first-order logic:from Gödel to Lindström| journal = History and Philosophy of Logic| volume = 14| pages = 15–37| year = 1993| last1 = Dawson | first1 = J. W. }}]</ref> लेकिन इसे पहली बार 1930 में कर्ट गोडेल के अपने गोडेल की पूर्णता प्रमेय के प्रमाण में एक लेम्मा के रूप में प्रकाशित किया गया था। लोवेनहाइम-स्कोलेम प्रमेय और कॉम्पैक्टनेस प्रमेय ने 1936 और 1941 में [[अनातोली माल्टसेव]] से अपने संबंधित सामान्य रूप प्राप्त किए।
+एक विषय के रूप में मॉडल सिद्धांत लगभग 20वीं शताब्दी के मध्य से अस्तित्व में है, और यह नाम 1954 में Lwów-Warsaw स्कूल के एक सदस्य अल्फ्रेड टार्स्की द्वारा गढ़ा गया था।<ref>{{Cite journal|last=Tarski|first=Alfred|date=1954|title=Contributions to the Theory of Models. I|journal=Indagationes Mathematicae |volume=57|pages=572–581|doi=10.1016/S1385-7258(54)50074-0|issn=1385-7258}}</ref> हालाँकि, पहले के कुछ शोध, विशेष रूप से गणितीय तर्क में, प्रायः रेट्रोस्पेक्ट में एक मॉडल-सैद्धांतिक प्रकृति के होने के रूप में माने जाते हैं।<ref>{{Cite book|last1=Button|first1=Tim|last2=Walsh|first2=Sean|date=2018-05-24|contribution=Historical Appendix: A short history of model theory|title=Philosophy and model theory|contributor=Wilfrid Hodges|page=439|doi=10.1093/oso/9780198790396.003.0018}}</ref> अब जो मॉडल सिद्धांत है उसमें पहला महत्वपूर्ण परिणाम डाउनवर्ड लोवेनहेम-स्कोलेम प्रमेय का एक विशेष मामला था, जिसे 1915 में लियोपोल्ड लोवेनहेम द्वारा प्रकाशित किया गया था। कॉम्पैक्टनेस प्रमेय [[थोराल्फ़ स्कोलेम]] द्वारा काम में निहित था,<ref>"All three commentators [i.e. Vaught, van Heijenoort and Dreben] agree that both the completeness and compactness theorems were implicit in Skolem 1923&hellip;." [{{Cite journal | doi = 10.1080/01445349308837208| title = The compactness of first-order logic:from Gödel to Lindström| journal = History and Philosophy of Logic| volume = 14| pages = 15–37| year = 1993| last1 = Dawson | first1 = J. W. }}]</ref> लेकिन इसे पहली बार 1930 में कर्ट गोडेल के अपने गोडेल की पूर्णता प्रमेय के प्रमाण में एक लेम्मा के रूप में प्रकाशित किया गया था। लोवेनहाइम-स्कोलेम प्रमेय और कॉम्पैक्टनेस प्रमेय ने 1936 और 1941 में [[अनातोली माल्टसेव]] से अपने संबंधित सामान्य रूप प्राप्त किए।
-एक स्वतंत्र अनुशासन के रूप में मॉडल सिद्धांत का विकास इंटरवार अवधि के दौरान अल्फ्रेड टार्स्की द्वारा लाया गया था। तर्स्की के काम में अन्य विषयों के अलावा [[तार्किक परिणाम]], निगमनात्मक प्रणाली, तर्क का बीजगणित, निश्चितता का सिद्धांत और सत्य का सिमेंटिक सिद्धांत शामिल हैं। उनके सिमेंटिक तरीके 1950 और 60 के दशक में उनके और उनके कैलिफोर्निया विश्वविद्यालय, बर्कले के छात्रों द्वारा विकसित किए गए मॉडल सिद्धांत में परिणत हुए।
+एक स्वतंत्र अनुशासन के रूप में मॉडल सिद्धांत का विकास इंटरवार अवधि के दौरान अल्फ्रेड टार्स्की द्वारा लाया गया था। तर्स्की के काम में अन्य विषयों के अलावा [[तार्किक परिणाम]], निगमनात्मक प्रणाली, तर्क का बीजगणित, निश्चितता का सिद्धांत और सत्य का सिमेंटिक सिद्धांत सम्मिलित हैं। उनके सिमेंटिक तरीके 1950 और 60 के दशक में उनके और उनके कैलिफोर्निया विश्वविद्यालय, बर्कले के छात्रों द्वारा विकसित किए गए मॉडल सिद्धांत में परिणत हुए।
-अनुशासन के आगे के इतिहास में, विभिन्न किस्में उभरने लगीं और विषय का ध्यान स्थानांतरित हो गया। 1960 के दशक में, अल्ट्राप्रोडक्ट्स के आसपास की तकनीकें मॉडल सिद्धांत में एक लोकप्रिय उपकरण बन गईं।<ref>Hodges (1993), p. 475</ref> उसी समय, [[जेम्स एक्स]] जैसे शोधकर्ता विभिन्न बीजगणितीय वर्गों के प्रथम-क्रम मॉडल सिद्धांत की जांच कर रहे थे, और अन्य जैसे एच. जेरोम कीस्लर अन्य तार्किक प्रणालियों के लिए प्रथम-क्रम मॉडल सिद्धांत की अवधारणाओं और परिणामों का विस्तार कर रहे थे। फिर मॉर्ले की समस्या से प्रेरित होकर, शेला ने स्थिर सिद्धांत विकसित किया। स्थिरता के आसपास उनके काम ने मॉडल सिद्धांत के रंग को बदल दिया, अवधारणाओं की एक पूरी नई श्रेणी को जन्म दिया। इसे प्रतिमान बदलाव के रूप में जाना जाता है <ref>{{Cite book|last=Baldwin|first=John T.|url=http://dx.doi.org/10.1017/9781316987216|title=Model Theory and the Philosophy of Mathematical Practice|date=2018-01-19|publisher=Cambridge University Press|doi=10.1017/9781316987216|isbn=978-1-107-18921-8|s2cid=126311148 }}</ref> अगले दशकों में, यह स्पष्ट हो गया कि परिणामी स्थिरता पदानुक्रम उन सेटों की ज्यामिति से निकटता से जुड़ा हुआ है जो उन मॉडलों में निश्चित हैं; इसने उप-अनुशासन को जन्म दिया जिसे अब ज्यामितीय स्थिरता सिद्धांत के रूप में जाना जाता है। ज्यामितीय मॉडल सिद्धांत से एक प्रभावशाली प्रमाण का एक उदाहरण एहूद ह्रुशोव्स्की का मोर्डेल-लैंग अनुमान का प्रमाण है। कार्य क्षेत्रों के लिए मोर्डेल-लैंग अनुमान।<ref>{{Cite book|last=Sacks|first=Gerald|doi=10.1142/4800 |title=Mathematical logic in the 20th century|date=2003|publisher=Singapore University Press|isbn=981-256-489-6|oclc=62715985}}</ref>
+अनुशासन के आगे के इतिहास में, विभिन्न किस्में उभरने लगीं और विषय का ध्यान स्थानांतरित हो गया। 1960 के दशक में, अल्ट्राप्रोडक्ट्स के आसपास की तकनीकें मॉडल सिद्धांत में एक लोकप्रिय उपकरण बन गईं।<ref>Hodges (1993), p. 475</ref> उसी समय, [[जेम्स एक्स]] जैसे शोधकर्ता विभिन्न बीजगणितीय वर्गों के प्रथम-क्रम मॉडल सिद्धांत की जांच कर रहे थे, और अन्य जैसे एच. जेरोम कीस्लर अन्य तार्किक प्रणालियों के लिए प्रथम-क्रम मॉडल सिद्धांत की अवधारणाओं और परिणामों का विस्तार कर रहे थे। फिर मॉर्ले की समस्या से प्रेरित होकर, शेला ने स्थिर सिद्धांत विकसित किया। स्थिरता के आसपास उनके काम ने मॉडल सिद्धांत के रंग को बदल दिया, अवधारणाओं की एक पूरी नई श्रेणी को जन्म दिया। इसे प्रतिमान बदलाव के रूप में जाना जाता है <ref>{{Cite book|last=Baldwin|first=John T.|url=http://dx.doi.org/10.1017/9781316987216|title=Model Theory and the Philosophy of Mathematical Practice|date=2018-01-19|publisher=Cambridge University Press|doi=10.1017/9781316987216|isbn=978-1-107-18921-8|s2cid=126311148 }}</ref> अगले दशकों में, यह स्पष्ट हो गया कि परिणामी स्थिरता पदानुक्रम उन समुच्चयों की ज्यामिति से निकटता से जुड़ा हुआ है जो उन मॉडलों में निश्चित हैं; इसने उप-अनुशासन को जन्म दिया जिसे अब ज्यामितीय स्थिरता सिद्धांत के रूप में जाना जाता है। ज्यामितीय मॉडल सिद्धांत से एक प्रभावशाली प्रमाण का एक उदाहरण एहूद ह्रुशोव्स्की का मोर्डेल-लैंग अनुमान का प्रमाण है। कार्य क्षेत्रों के लिए मोर्डेल-लैंग अनुमान।<ref>{{Cite book|last=Sacks|first=Gerald|doi=10.1142/4800 |title=Mathematical logic in the 20th century|date=2003|publisher=Singapore University Press|isbn=981-256-489-6|oclc=62715985}}</ref>
@@ Line 318: / Line 305: @@
 === परिमित मॉडल सिद्धांत ===
-{{main|Finite model theory}}
+{{main|परिमित मॉडल सिद्धांत}}
-[[परिमित मॉडल सिद्धांत]], जो परिमित संरचनाओं पर ध्यान केंद्रित करता है, अध्ययन की गई समस्याओं और उपयोग की जाने वाली तकनीकों दोनों में अनंत संरचनाओं के अध्ययन से महत्वपूर्ण रूप से भिन्न होता है।<ref>{{Cite book|last1=Ebbinghaus|first1=Heinz-Dieter|last2=Flum|first2=Jörg|date=1995|title=Finite Model Theory|url=http://dx.doi.org/10.1007/978-3-662-03182-7|series=Perspectives in Mathematical Logic|doi=10.1007/978-3-662-03182-7|page=v|isbn=978-3-662-03184-1}}</ref> विशेष रूप से, शास्त्रीय मॉडल सिद्धांत के कई केंद्रीय परिणाम जो परिमित संरचनाओं तक सीमित होने पर विफल हो जाते हैं। इसमें कॉम्पैक्टनेस प्रमेय, गोडेल की पूर्णता प्रमेय और प्रथम-क्रम तर्क के लिए [[ultraproducts]] की विधि शामिल है। परिमित और अनंत मॉडल सिद्धांत के इंटरफेस पर एल्गोरिथम या कंप्यूटेबल मॉडल सिद्धांत और [[शून्य-एक कानून (मॉडल सिद्धांत)]] का अध्ययन है। 0-1 कानून, जहां संरचनाओं के एक वर्ग के एक सामान्य सिद्धांत के अनंत मॉडल जानकारी प्रदान करते हैं परिमित मॉडल का वितरण।<ref>{{Cite book|last1=Ebbinghaus|first1=Heinz-Dieter|last2=Flum|first2=Jörg|date=1995|title=Finite Model Theory|url=http://dx.doi.org/10.1007/978-3-662-03182-7|series=Perspectives in Mathematical Logic|doi=10.1007/978-3-662-03182-7|chapter=0-1 Laws|isbn=978-3-662-03184-1}}</ref> एफएमटी के प्रमुख अनुप्रयोग क्षेत्र [[वर्णनात्मक जटिलता सिद्धांत]], [[डेटाबेस सिद्धांत]] और [[औपचारिक भाषा सिद्धांत]] हैं।<ref>{{Cite book|last1=Ebbinghaus|first1=Heinz-Dieter|last2=Flum|first2=Jörg|date=1995|title=Finite Model Theory|url=http://dx.doi.org/10.1007/978-3-662-03182-7|series=Perspectives in Mathematical Logic|doi=10.1007/978-3-662-03182-7|isbn=978-3-662-03184-1}}</ref>
+[[परिमित मॉडल सिद्धांत]], जो परिमित संरचनाओं पर ध्यान केंद्रित करता है, अध्ययन की गई समस्याओं और उपयोग की जाने वाली तकनीकों दोनों में अनंत संरचनाओं के अध्ययन से महत्वपूर्ण रूप से भिन्न होता है।<ref>{{Cite book|last1=Ebbinghaus|first1=Heinz-Dieter|last2=Flum|first2=Jörg|date=1995|title=Finite Model Theory|url=http://dx.doi.org/10.1007/978-3-662-03182-7|series=Perspectives in Mathematical Logic|doi=10.1007/978-3-662-03182-7|page=v|isbn=978-3-662-03184-1}}</ref> विशेष रूप से, चिरसम्मत मॉडल सिद्धांत के कई केंद्रीय परिणाम जो परिमित संरचनाओं तक सीमित होने पर विफल हो जाते हैं। इसमें कॉम्पैक्टनेस प्रमेय, गोडेल की पूर्णता प्रमेय और प्रथम-क्रम तर्क के लिए [[ultraproducts|अल्ट्रा प्रोडक्ट्स]] की विधि सम्मिलित है। परिमित और अनंत मॉडल सिद्धांत के इंटरफेस पर एल्गोरिथम या कंप्यूटेबल मॉडल सिद्धांत और [[शून्य-एक कानून (मॉडल सिद्धांत)]] का अध्ययन है। 0-1 कानून, जहां संरचनाओं के एक वर्ग के एक सामान्य सिद्धांत के अनंत मॉडल जानकारी प्रदान करते हैं परिमित मॉडल का वितरण<ref>{{Cite book|last1=Ebbinghaus|first1=Heinz-Dieter|last2=Flum|first2=Jörg|date=1995|title=Finite Model Theory|url=http://dx.doi.org/10.1007/978-3-662-03182-7|series=Perspectives in Mathematical Logic|doi=10.1007/978-3-662-03182-7|chapter=0-1 Laws|isbn=978-3-662-03184-1}}</ref> एफएमटी के प्रमुख अनुप्रयोग क्षेत्र [[वर्णनात्मक जटिलता सिद्धांत]], [[डेटाबेस सिद्धांत]] और [[औपचारिक भाषा सिद्धांत]] हैं।<ref>{{Cite book|last1=Ebbinghaus|first1=Heinz-Dieter|last2=Flum|first2=Jörg|date=1995|title=Finite Model Theory|url=http://dx.doi.org/10.1007/978-3-662-03182-7|series=Perspectives in Mathematical Logic|doi=10.1007/978-3-662-03182-7|isbn=978-3-662-03184-1}}</ref>
-=== सेट सिद्धांत ===
+=== समुच्चय सिद्धांत ===
-कोई भी [[औपचारिक प्रणाली]] (जो एक [[गणनीय]] भाषा में व्यक्त की जाती है), यदि यह सुसंगत है, तो एक गणनीय मॉडल है; इसे स्कोलेम के विरोधाभास के रूप में जाना जाता है, क्योंकि समुच्चय सिद्धांत में ऐसे वाक्य हैं जो बेशुमार समुच्चयों के अस्तित्व की पुष्टि करते हैं और फिर भी ये वाक्य हमारे गणनीय मॉडल में सत्य हैं। विशेष रूप से सातत्य परिकल्पना की स्वतंत्रता के प्रमाण के लिए मॉडल में सेट पर विचार करने की आवश्यकता होती है जो मॉडल के भीतर से देखे जाने पर बेशुमार प्रतीत होते हैं, लेकिन मॉडल के बाहर किसी के लिए गणना योग्य होते हैं।<ref>{{Cite book|last=Kunen|first=Kenneth|doi=|title=Set Theory|date=2011|publisher=College Publications|isbn=978-1-84890-050-9|chapter=Models of set theory}}</ref>
+कोई भी [[औपचारिक प्रणाली]] (जो एक [[गणनीय]] भाषा में व्यक्त की जाती है), यदि यह सुसंगत है, तो एक गणनीय मॉडल है; इसे स्कोलेम के विरोधाभास के रूप में जाना जाता है, क्योंकि समुच्चय सिद्धांत में ऐसे वाक्य हैं जो बेशुमार समुच्चयों के अस्तित्व की पुष्टि करते हैं और फिर भी ये वाक्य हमारे गणनीय मॉडल में सत्य हैं। विशेष रूप से सातत्य परिकल्पना की स्वतंत्रता के प्रमाण के लिए मॉडल में समुच्चय पर विचार करने की आवश्यकता होती है जो मॉडल के भीतर से देखे जाने पर बेशुमार प्रतीत होते हैं, लेकिन मॉडल के बाहर किसी के लिए गणना योग्य होते हैं।<ref>{{Cite book|last=Kunen|first=Kenneth|doi=|title=Set Theory|date=2011|publisher=College Publications|isbn=978-1-84890-050-9|chapter=Models of set theory}}</ref>
-मॉडल-सैद्धांतिक दृष्टिकोण समुच्चय सिद्धांत में उपयोगी रहा है; उदाहरण के लिए रचनात्मक ब्रह्मांड पर कर्ट गोडेल के काम में, जो [[पॉल कोहेन (गणितज्ञ)]] द्वारा विकसित फोर्सिंग (गणित) की विधि के साथ पसंद के स्वयंसिद्ध (फिर से दार्शनिक रूप से दिलचस्प) [[स्वतंत्रता (गणितीय तर्क)]] को साबित करने के लिए दिखाया जा सकता है। और समुच्चय सिद्धांत के अन्य अभिगृहीतों से सातत्य परिकल्पना।<ref>{{Cite book|last=Kunen|first=Kenneth|doi=|title=Set Theory|date=2011|publisher=College Publications|isbn=978-1-84890-050-9}}</ref>
+मॉडल-सैद्धांतिक दृष्टिकोण समुच्चय सिद्धांत में उपयोगी रहा है; उदाहरण के लिए रचनात्मक ब्रह्मांड पर कर्ट गोडेल के काम में, जो [[पॉल कोहेन (गणितज्ञ)]] द्वारा विकसित फोर्सिंग (गणित) की विधि के साथ पसंद के स्वयंसिद्ध (फिर से दार्शनिक रूप से दिलचस्प) [[स्वतंत्रता (गणितीय तर्क)]] को प्रमाणित करने के लिए दिखाया जा सकता है। और समुच्चय सिद्धांत के अन्य अभिगृहीतों से सातत्य परिकल्पना।<ref>{{Cite book|last=Kunen|first=Kenneth|doi=|title=Set Theory|date=2011|publisher=College Publications|isbn=978-1-84890-050-9}}</ref>
-दूसरी दिशा में, ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के भीतर मॉडल सिद्धांत को ही औपचारिक रूप दिया गया है। उदाहरण के लिए, मॉडल सिद्धांत (जैसे कॉम्पैक्टनेस प्रमेय) के मूल सिद्धांतों का विकास पसंद के स्वयंसिद्ध पर निर्भर करता है, और वास्तव में बूलियन प्रधान आदर्श प्रमेय के विकल्प के बिना ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के बराबर है।<ref>Hodges (1993), p. 272</ref> मॉडल सिद्धांत में अन्य परिणाम मानक ZFC ढांचे से परे सेट-सैद्धांतिक स्वयंसिद्धों पर निर्भर करते हैं। उदाहरण के लिए, यदि सातत्य परिकल्पना धारण करती है तो प्रत्येक गणनीय मॉडल में एक अतिशक्ति होती है जो संतृप्त होती है (अपनी स्वयं की प्रमुखता में)। इसी तरह, यदि सामान्यीकृत सातत्य परिकल्पना धारण करती है तो प्रत्येक मॉडल में एक संतृप्त प्रारंभिक विस्तार होता है। इनमें से कोई भी परिणाम अकेले ZFC में सिद्ध नहीं होता है। अंत में, मॉडल सिद्धांत से उत्पन्न होने वाले कुछ प्रश्न (जैसे अनंत लॉजिक्स के लिए कॉम्पैक्टनेस) को बड़े कार्डिनल स्वयंसिद्धों के समतुल्य दिखाया गया है।<ref>{{Cite book|last=Baldwin|first=John T.|url=http://dx.doi.org/10.1017/9781316987216|title=Model Theory and the Philosophy of Mathematical Practice|date=2018-01-19|publisher=Cambridge University Press|isbn=978-1-107-18921-8|chapter=Model theory and set theory|doi=10.1017/9781316987216|s2cid=126311148 }}</ref>
+दूसरी दिशा में, ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के भीतर मॉडल सिद्धांत को ही औपचारिक रूप दिया गया है। उदाहरण के लिए, मॉडल सिद्धांत (जैसे कॉम्पैक्टनेस प्रमेय) के मूल सिद्धांतों का विकास पसंद के स्वयंसिद्ध पर निर्भर करता है, और वास्तव में बूलियन प्रधान आदर्श प्रमेय के विकल्प के बिना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के बराबर है।<ref>Hodges (1993), p. 272</ref> मॉडल सिद्धांत में अन्य परिणाम मानक ZFC ढांचे से परे समुच्चय-सैद्धांतिक स्वयंसिद्धों पर निर्भर करते हैं। उदाहरण के लिए, यदि सातत्य परिकल्पना धारण करती है तो प्रत्येक गणनीय मॉडल में एक अतिशक्ति होती है जो संतृप्त होती है (अपनी स्वयं की प्रमुखता में)। इसी तरह, यदि सामान्यीकृत सातत्य परिकल्पना धारण करती है तो प्रत्येक मॉडल में एक संतृप्त प्रारंभिक विस्तार होता है। इनमें से कोई भी परिणाम अकेले ZFC में सिद्ध नहीं होता है। अंत में, मॉडल सिद्धांत से उत्पन्न होने वाले कुछ प्रश्न (जैसे अनंत लॉजिक्स के लिए कॉम्पैक्टनेस) को बड़े कार्डिनल स्वयंसिद्धों के समतुल्य दिखाया गया है।<ref>{{Cite book|last=Baldwin|first=John T.|url=http://dx.doi.org/10.1017/9781316987216|title=Model Theory and the Philosophy of Mathematical Practice|date=2018-01-19|publisher=Cambridge University Press|isbn=978-1-107-18921-8|chapter=Model theory and set theory|doi=10.1017/9781316987216|s2cid=126311148 }}</ref>
@@ Line 395: / Line 382: @@
 श्रेणी:गणितीय तर्क
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
-[[Category: Machine Translated Page]]
+[[Category:CS1]]
+[[Category:Collapse templates]]
 [[Category:Created On 13/02/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Mathematics navigational boxes]]
+[[Category:Multi-column templates]]
+[[Category:Navbox orphans]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages using div col with small parameter]]
+[[Category:Pages with empty portal template]]
+[[Category:Pages with script errors]]
+[[Category:Philosophy and thinking navigational boxes]]
+[[Category:Portal-inline template with redlinked portals]]
+[[Category:Short description with empty Wikidata description]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Translated in Hindi]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates generating microformats]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that are not mobile friendly]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:Templates using under-protected Lua modules]]
+[[Category:Wikipedia articles needing clarification from November 2022]]
+[[Category:Wikipedia fully protected templates|Div col]]
+[[Category:Wikipedia metatemplates]]

Anonymous

Search

मॉडल सिद्धांत: Difference between revisions

Latest revision as of 16:15, 28 February 2023

अवलोकन

प्रथम-क्रम मॉडल सिद्धांत की मौलिक धारणाएँ

प्रथम-क्रम तर्क

बुनियादी मॉडल-सैद्धांतिक अवधारणाएं

सघनता और लोवेनहेम-स्कोलेम प्रमेय

निश्चितता

परिभाषित करने योग्य समुच्चय

क्वांटिफायर को समाप्त करना

न्यूनतमता

परिभाषित करने योग्य और व्याख्या करने योग्य संरचनाएं

प्रकार

बुनियादी धारणाएं

संरचनाएं और प्रकार

पत्थर की जगह

निर्माण मॉडल

अनुभव और छोड़ने के प्रकार

अल्ट्राप्रोडक्ट

श्रेणी

ω-वर्गीकरण

बेशुमार श्रेणीबद्धता

स्थिरता सिद्धांत

स्थिरता पदानुक्रम

ज्यामितीय स्थिरता सिद्धांत

गैर-प्राथमिक मॉडल सिद्धांत

चयनित अनुप्रयोग

इतिहास

गणितीय तर्क की संबंधित शाखाओं से संबंध

परिमित मॉडल सिद्धांत

समुच्चय सिद्धांत

यह भी देखें

टिप्पणियाँ

संदर्भ

कैननिकल पाठ्यपुस्तकें

अन्य पाठ्यपुस्तकें

मुफ्त ऑनलाइन पाठ

Navigation

Wiki tools

Page tools

Other projects

Hidden categories